Distributed Verification of Multi-threaded C++ Programs

DOI10.1016/j.entcs.2007.10.019zbMath1277.68051OpenAlexW2099143901MaRDI QIDQ2866324

Stefan Edelkamp, D. Sulewski, Shahid Jabbar

Publication date: 13 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.10.019

zbMATH Keywords

program verificationdistributed model checkingexternal model checking

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Uses Software

• veriSoft
• SPIN
• DiVinE
• GDB
• Murphi

Cites Work

• Generating data flow analysis algorithms from modal specifications
• A work-efficient distributed algorithm for reachability analysis
• CTL model checking on a shared-memory architecture
• A Database Approach to Distributed State Space Generation
• Cluster-Based LTL Model Checking of Large Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation
• Model Checking Software
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item