Cluster-Based LTL Model Checking of Large Systems

DOI10.1007/11804192_13zbMath1196.68124OpenAlexW2139509279MaRDI QIDQ3591390

Luboš Brim, Jiří Barnat, Ivana Černá

Publication date: 11 September 2007

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Automata-Theoretic Model Checking Revisited, Distributed Verification of Multi-threaded C++ Programs

Uses Software

• SPIN
• DiVinE