Time and Space Issues in the Generation of Graph Transition Systems |
| |
| Authors: | Arend Rensink |
| |
| Affiliation: | Department of Computer Science, University of Twente, P.O.Box 217, 7500 AE, The Netherlands |
| |
| Abstract: | GROOVE is a tool for the automatic generation of graph transition systems from graph grammars. In this type of tool, both memory and time performance are of prime importance. In this paper we discuss the implementation techniques used for optimising the tool in this regard, and we list possible future improvements. |
| |
| Keywords: | Graph transition system object-oriented verification GROOVE automatic generation |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
