Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking

DOI10.1007/978-3-642-36742-7_42zbMath1381.68133OpenAlexW40595619MaRDI QIDQ5326352

Etienne Renault, Alexandre Duret-Lutz, Denis Poitrenaud, Fabrice Kordon

Publication date: 5 August 2013

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36742-7_42

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Computing bottom SCCs symbolically using transition guided reduction

Uses Software

• SPIN
• BEEM

This page was built for publication: Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking