Towards automated verification of layered graph transformation specifications.

Vahid Rafe Adel Torkaman Rahmani Luciano Baresi Paola Spoletini

Published in: IET Softw. (2009)

Keyphrases

automated verification
graph transformation
model checking
automated reasoning
formal verification
temporal logic
graph theory
knowledge representation
theorem proving
distributed systems
theorem prover
finite state machines
probabilistic reasoning
fully connected