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)

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

Describes a project that uses

Uses Software

• dSPIN
• Bogor
• SPIN
• SLAM
• Zing

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)