Injective envelope of graphs and transition systems.

Mustapha Kabil Maurice Pouzet

Published in: Discret. Math. (1998)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
control flow
finite state
model checker
reactive systems
artificial intelligence
knowledge based systems
formal specification
practical reasoning
case study
search algorithm