SMT-Based Bounded Model Checking for Embedded ANSI-C Software

IEEE Transactions on Software Engineering - United States
doi 10.1109/tse.2011.59
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

Context-Bounded Model Checking of LTL Properties for ANSI-C Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code

2013English

Model Checking Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Model-Based Testing Design for Embedded Automotive Software

2009English

A Direct Algorithm for Multi-Valued Bounded Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Dynamic Path Reduction for Software Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Software Analysis and Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Model Checking Large Software Specifications

ACM SIGSOFT Software Engineering Notes
1996English

Effective Stateless Model Checking for C/C++ Concurrency

Proceedings of the ACM on Programming Languages
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy