Login / Signup
Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems.
Frédéric Lang
Radu Mateescu
Published in:
Log. Methods Comput. Sci. (2013)
Keyphrases
</>
model checking
transition systems
temporal logic
automated verification
concurrent systems
formal methods
reactive systems
model checker
finite state
formal verification
formal specification
social networks
control flow
practical reasoning
distributed systems
description language
knowledge base