Towards a Two Layered Verification Approach for Compiled Graph Transformation.

Published in: ICGT (2008)

Keyphrases

graph transformation
model checking
verification method
formal verification
concurrent systems
face verification
database
databases
machine learning
database systems
multiscale
temporal logic
cryptographic protocols
asynchronous circuits