Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

TACAS
2001
Springer

favoriteEmaildiscussreport

96views Algorithms» more TACAS 2001»

Boolean and Cartesian Abstraction for Model Checking C Programs

13 years 9 months ago

Boolean and Cartesian Abstraction for Model Checking C Programs

Download www.inf.uni-konstanz.de

Thomas Ball, Andreas Podelski, Sriram K. Rajamani

Real-time Traffic

Algorithms | TACAS 2001 |

claim paper

Related Content

» Software model checking via largeblock encoding

» Automatic Creation of Environment Models via Training

» Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers

» Solving Alternating Boolean Equation Systems in Answer Set Programming

» FocusCheck A Tool for Model Checking and Debugging Sequential C Programs

» Boom Taking Boolean Program Model Checking One Step Further

» Symbolic Model Checking for Asynchronous Boolean Programs

» Model Checking C Programs Using FSOFT

» Checking consistency of C and Verilog using predicate abstraction and induction

Post Info
More Details (n/a)

Added	30 Jul 2010
Updated	30 Jul 2010
Type	Conference
Year	2001
Where	TACAS
Authors	Thomas Ball, Andreas Podelski, Sriram K. Rajamani

Comments (0)