Parameterized verification of multithreaded software libraries

DOI10.1007/3-540-45319-9_12MaRDI QIDQ2769585zbMATH OpenFDO

Authors Thomas Ball, Sagar Chaki, Sriram K. Rajamani

Publication date 5 February 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2031/20310158

Mathematics Subject Classification ID

Theory of software (68N99) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Modular verification of multithreaded programs
• A Basis for Verifying Multi-threaded Programs
• Complexity of pattern-based verification for multithreaded programs
• Distributed verification of multi-threaded C++ programs
• Thread-modular verification for shared-memory programs
• Predicate abstraction and refinement for verifying multi-threaded programs
• Parameterized Verification of Asynchronous Shared-Memory Systems

Cited in

(8)

• Compositional analysis for verification of parameterized systems
• Verification of SpecC using predicate abstraction
• Verification of Boolean programs with unbounded thread creation
• On the \(\omega\)-language expressive power of extended Petri nets
• Specification and encoding of transaction interaction properties
• Towards Efficient Verification of Systems with Dynamic Process Creation
• Modular verification of multithreaded programs
• Context-aware counter abstraction

Describes a project that uses

Uses Software

• Java PathFinder
• Bandera

This page was built for publication: Parameterized verification of multithreaded software libraries

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