Model Checking Software

DOI10.1007/11691617zbMath1178.68343OpenAlexW2480617525MaRDI QIDQ5899036

J. Geldenhuys, Henri Hansen

Publication date: 2 May 2007

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

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

Mathematics Subject Classification ID

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

Related Items (5)

LTL to self-loop alternating automata with generic acceptance and back ⋮ Optimized temporal monitors for SystemcC ⋮ Linear temporal logic symbolic model checking ⋮ New Optimizations and Heuristics for Determinization of Büchi Automata ⋮ SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking

Uses Software

• LTL2BA

This page was built for publication: Model Checking Software