Formal Verification of Object-Oriented Graph Grammars Specifications.
Ana Paula Lüdtke FerreiraLuciana FossLeila RibeiroPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- formal verification
- graph grammars
- object oriented
- model checker
- bounded model checking
- automated verification
- model checking
- context sensitive
- relational databases
- data model
- context free
- programming language
- temporal logic
- graph databases
- production rules
- generative model
- database
- formal specification
- specification language
- query language
- database systems