Abstract
We present a highly polymorphic tool for the construction, synthesis, structuring, manipulation, investigation, and (symbolic) execution of graphs. The flexibility of this tool, which mainly arises as a consequence of combining complex graph labelings expressing the intended semantics with hierarchy and customized graphical node representations, is illustrated along a representative choice of application scenarios.
Original language | English |
---|---|
Title of host publication | Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings |
Editors | Ed Brinksma |
Publisher | Springer |
Pages | 112-129 |
Number of pages | 18 |
ISBN (Print) | 3540627901, 9783540627906 |
DOIs | |
Publication status | Published - 1997 |
Externally published | Yes |
Event | International Workshop on Tools and Algorithms for the Construction and Analysis of Systems 1997 - Enschede, Netherlands Duration: 2 Apr 1997 → 4 Apr 1997 Conference number: 3rd |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 1217 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | International Workshop on Tools and Algorithms for the Construction and Analysis of Systems 1997 |
---|---|
Abbreviated title | TACAS 1997 |
Country/Territory | Netherlands |
City | Enschede |
Period | 2/04/97 → 4/04/97 |