Login / Signup
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