Zing: Exploiting program structure for model checking concurrent software

DOI10.1007/978-3-540-28644-8_1MaRDI QIDQ5311470zbMATH OpenOpenAlexFDO

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

Publication date 23 August 2005

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

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Zing: A model checker for concurrent software
• Context-bounded model checking of concurrent software
• Model checking concurrent programs
• scientific article; zbMATH DE number 1860613
• Model checking of concurrent algorithms: from Java to C

Cited in

(5)

• Zing
• Verification of Boolean programs with unbounded thread creation
• Model checking concurrent programs
• Procedure extraction to improve scalability of software model checking
• Zing: A model checker for concurrent software

Describes a project that uses

Uses Software

• SPIN
• SLAM
• Bogor

This page was built for publication: Zing: Exploiting program structure for model checking concurrent software

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