Computer Aided Verification

DOI10.1007/B98490zbMATH Open1103.68600OpenAlexW4298302743MaRDI QIDQ5312934FDOQ5312934

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

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

Mathematics Subject Classification ID

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

Cited In (11)

• CSP is a retract of CCS
• Model checking concurrent programs
• Tools and Algorithms for the Construction and Analysis of Systems
• Extracting Zing Models from C Source Code
• Verification of STM on relaxed memory models
• 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

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)