Login / Signup
Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata.
Ala-Eddine Ben Salem
Alexandre Duret-Lutz
Fabrice Kordon
Yann Thierry-Mieg
Published in:
TACAS (2014)
Keyphrases
</>
invariant properties
symbolic model checking
formal verification
model checking
finite state
partial observability
conformant planning
zernike moments
model checker
symbolic representation
prior models
binary decision diagrams
machine learning
high order
orders of magnitude
image analysis
image processing