Login / Signup
A model-checker exploiting structural reductions even with stutter sensitive LTL.
Yann Thierry-Mieg
Etienne Renault
Emmanuel Paviot-Adet
Denis Poitrenaud
Published in:
Sci. Comput. Program. (2024)
Keyphrases
</>
model checking
model checker
temporal logic
formal verification
transition systems
formal specification
symbolic model checking
formal methods
concurrent systems
description language
modal logic
multi agent systems
relational databases
np hard
dynamic programming