A Constraint Oriented Proof Methodology Based on Modal Transition Systems.

Kim Guldstrand Larsen Bernhard Steffen Carsten Weise

Published in: TACAS (1995)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
control flow
practical reasoning
finite state
reactive systems
data flow
model checker
formal specification
learning algorithm
social networks
domain specific