On-the-fly Verification of Finite Transition Systems.

Jean-Claude Fernandez Laurent Mounier Claude Jard Thierry Jéron

Published in: Formal Methods Syst. Des. (1992)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
model checker
formal verification
formal specification
finite state
distributed systems
petri net
finite number
control flow
practical reasoning
artificial intelligence
formal methods
description language
web services