Login / Signup
A Fully Verified Executable LTL Model Checker.
Javier Esparza
Peter Lammich
René Neumann
Tobias Nipkow
Alexander Schimpf
Jan-Georg Smaus
Published in:
Arch. Formal Proofs (2014)
Keyphrases
</>
model checking
model checker
formal specification
temporal logic
formal verification
symbolic model checking
transition systems
formal methods
concurrent systems
specification language
set theory
modal logic
description language
fuzzy logic
general purpose