1114 search results - page 3 / 223 » Validating optimizations of concurrent C C programs |
85
Voted
CAV
2007
Springer
15 years 8 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...
124
Voted
KBSE
2009
IEEE
15 years 9 months 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...
111
Voted
MEMOCODE
2010
IEEE
15 years 16 days 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...
141
Voted
SAC
2000
ACM
15 years 7 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 ...
92
Voted
TPHOL
2009
IEEE
15 years 9 months 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,...