Formal Verification of Graph Grammars using Mathematical Induction.

Simone André da Costa Leila Ribeiro

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

formal verification
graph grammars
model checking
context sensitive
model checker
bounded model checking
machine learning
automated verification
inductive inference
context free
artificial intelligence
decision trees
conditional random fields
production rules
graph databases