A Solution Relying on the Model Checking of Boolean Transition Systems.

Jorge Cuéllar Dieter Barnard Martin Huber

Published in: Formal Systems Specification (1994)

Keyphrases

model checking
transition systems
temporal logic
concurrent systems
model checker
finite state
formal verification
formal specification
practical reasoning
optimal solution
reactive systems
control flow
formal methods
integer programming
search algorithm
boolean functions