A framework for the verification of infinite-state graph transformation systems.
Paolo BaldanAndrea CorradiniBarbara KönigPublished in: Inf. Comput. (2008)
Keyphrases
- graph transformation
- main contribution
- information retrieval systems
- model checking
- expert systems
- real time
- theoretical framework
- building blocks
- real world
- asynchronous circuits
- formal methods
- conceptual framework
- genetic algorithm
- complex systems
- computer vision
- information systems
- knowledge based systems
- management system
- case study
- website
- knowledge base