Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems.

Frédéric Lang Radu Mateescu

Published in: TACAS (2012)

Keyphrases

model checking
transition systems
temporal logic
automated verification
reactive systems
concurrent systems
model checker
formal methods
finite state
formal verification
formal specification
distributed systems
practical reasoning
control flow