Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions

DOI10.1007/11817963_28zbMath1188.68190OpenAlexW1582387102MaRDI QIDQ5756735

Aarti Gupta, Nishant Sinha, Vineet Kahlon

Publication date: 5 September 2007

Published in: Computer Aided Verification (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Dynamic Reductions for Model Checking Concurrent Software ⋮ Sequentialization Using Timestamps ⋮ Boosting Lazy Abstraction for SystemC with Partial Order Reduction ⋮ An Automata-Theoretic Approach to Infinite-State Systems

Uses Software

• Zing
• veriSoft