Login / Signup
Diagnosers and Diagnosability of Succinct Transition Systems.
Jussi Rintanen
Published in:
IJCAI (2007)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
markov chain
model checker
reactive systems
distributed systems
formal specification