C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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