Login / Signup
Deductive Verification of Invariants of State-Transition Systems.
Dieter Hutter
Published in:
KI (1998)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
distributed systems
formal specification
model checker
finite state
state space
control flow
learning algorithm
search space
object oriented
formal methods
formal verification