Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/b107194zbMath1087.68060OpenAlexW2497867240MaRDI QIDQ5703781

Armin Biere, Viktor Schuppan

Publication date: 10 November 2005

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

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

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items

Foundations of fine-grained explainability, Minimal counterexamples for linear-time probabilistic verification, An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking, On relative and probabilistic finite counterability, Survey on Directed Model Checking

Uses Software

• NuSMV