1114 search results - page 3 / 223 » Validating optimizations of concurrent C C programs |
CAV
2007
Springer
13 years 11 months ago
2007
Springer
C32SAT is a tool for checking C expressions. It can check whether a given C expression can be satisfied, is tautological, or always defined according to the ISO C99 standard. C32...
KBSE
2009
IEEE
14 years 9 days ago
2009
IEEE
—The widely used C preprocessor (CPP) is generally considered a source of difficulty for understanding and maintaining C/C++ programs. The main reason for this difficulty is CP...
MEMOCODE
2010
IEEE
13 years 3 months ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
SAC
2000
ACM
13 years 10 months ago
2000
ACM
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
TPHOL
2009
IEEE
14 years 7 days ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...