Model Checking Software

DOI10.1007/11537328zbMath1151.68475OpenAlexW2492029314MaRDI QIDQ5394558

Denis Poitrenaud, Alexandre Duret-Lutz, Jean-Michel Couvreur

Publication date: 1 November 2006

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

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

Mathematics Subject Classification ID

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

Related Items (7)

Taking Some Burden Off an Explicit CTL Model Checker ⋮ LTL to self-loop alternating automata with generic acceptance and back ⋮ Efficient emptiness check for timed Büchi automata ⋮ Generic Emptiness Check for Fun and Profit ⋮ Automata-Theoretic Model Checking Revisited ⋮ On-the-fly Emptiness Check of Transition-Based Streett Automata ⋮ Checking Timed Büchi Automata Emptiness Using LU-Abstractions

Uses Software

• SPIN

This page was built for publication: Model Checking Software