Generalized Finiteness Conditions of Labelled Transition Systems.

Franck van Breugel

Published in: ICALP (1994)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
sufficient conditions
finite state
case study
practical reasoning
control flow
reactive systems
search algorithm
domain specific
linear programming