Distributed and Predictable Software Model Checking

DOI10.1007/978-3-642-18275-4_24zbMath1317.68121OpenAlexW3139258282MaRDI QIDQ3075493

Andrey Rybalchenko, Nuno P. Lopes

Publication date: 15 February 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-18275-4_24

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Experience of improving the BLAST static verification tool

Uses Software

• SPIN
• ARMC
• EigenCFA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Abstractions from proofs
• d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata
• Applying Prolog to develop distributed systems
• Temporal Verification of Reactive Systems: Response
• Grammar Analysis and Parsing by Abstract Interpretation
• Lazy abstraction
• EigenCFA
• Constraint Solving for Interpolation
• Programming Languages and Systems
• Parallelizing the \(\text{Mur}\varphi\) verifier

This page was built for publication: Distributed and Predictable Software Model Checking