Bounded Termination of Monotonicity-Constraint Transition Systems

Amir M. Ben-Amram Michael Vainer

Published in: CoRR (2012)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
control flow
practical reasoning
formal verification
model checker
case study
data flow
reactive systems