Invariant-preserving transformations for the verification of place/transition systems.

To-Yat Cheung Wei Zeng

Published in: IEEE Trans. Syst. Man Cybern. Part A (1998)

Keyphrases

preserving transformations
transition systems
model checking
concurrent systems
temporal logic
shape analysis
model checker
formal verification
distributed systems
differential geometry
finite state
formal specification
conjunctive queries
control flow
formal methods
petri net
reactive systems
special case