Computer Aided Verification

DOI10.1007/B98490MaRDI QIDQ5312934zbMATH OpenOpenAlexFDO

Authors Tony Andrews, Jakob Rehof, Yichen Xie, Shaz Qadeer, Sriram K. Rajamani

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98490

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• CONCUR 2004 - Concurrency Theory
• Model checking of concurrent algorithms: from Java to C
• Model checking concurrent programs
• scientific article; zbMATH DE number 1744970
• scientific article; zbMATH DE number 1903353

Cited in

(11)

• Model checking concurrent programs
• Model checking of concurrent algorithms: from Java to C
• Extracting Zing Models from C Source Code
• ZB 2005: Formal Specification and Development in Z and B
• Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving
• System-level state equality detection for the formal dynamic verification of legacy distributed applications
• Question-guided stubborn set methods for state properties
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification of STM on relaxed memory models
• CSP is a retract of CCS
• CONCUR 2004 - Concurrency Theory

Describes a project that uses

Uses Software

• Zing
• SLAM
• SPIN
• Bogor
• dSPIN

This page was built for publication: Computer Aided Verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312934)