Sciweavers

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

7

CAV
2004
Springer

favoriteEmaildiscussreport

97views Hardware» more CAV 2004»

Zing: A Model Checker for Concurrent Software

13 years 9 months ago

Zing: A Model Checker for Concurrent Software

Download research.microsoft.com

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jak

Real-time Traffic

CAV 2004 | Formal Methods |

claim paper

Related Content

» ContextBounded Model Checking of Concurrent Software

» Model Checking of Concurrent Algorithms From Java to C

» Gauss A Framework for Verifying Scientific Computing Software

» Tool Presentation Teaching Concurrency and Model Checking

» Using model checkers in an introductory course on operating systems

» Can a Model Checker Generate Tests for NonDeterministic Systems

» Efficient Detection of Errors in Java Components Using Random Environment and Restarts

» A Symbolic Model Checker for tccp Programs

» Directed Error Detection in C with the AssemblyLevel Model Checker StEAM

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	CAV
Authors	Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie

Comments (0)