Login / Signup
Incremental Verification with Mode Variable Invariants in State Machines.
Temesghen Kahsai
Pierre-Loïc Garoche
Cesare Tinelli
Mike Whalen
Published in:
NASA Formal Methods (2012)
Keyphrases
</>
state machines
state machine
petri net
recurrent networks
sequence diagrams
model checking
recurrent neural networks
formal methods
real time
high level
test generation
intermediate representation