Name
Abstract | ||
|---|---|---|
Abstract We present a highly polymorphic tool for the construction synthesis structuring manipulation investigation and symbolic exe cution of graphs The exibility of this tool which mainly arises as a con sequence 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 |
Year | DOI | Venue |
|---|---|---|
1997 | 10.1007/BFb0035384 | TACAS |
Keywords | Field | DocType |
unifying power,polymorphism | Graph,Model checking,Computer science,Theoretical computer science,Symbolic execution,Hierarchy,Abstraction layer,Structuring,Semantics,Formal verification | Conference |
Volume | ISSN | ISBN |
1217 | 0302-9743 | 3-540-62790-1 |
Citations | PageRank | References |
10 | 0.77 | 15 |
Authors | ||
9 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Michael von der Beeck | 1 | 374 | 36.84 |
| Volker Braun | 2 | 83 | 9.86 |
| Andreas Claßen | 3 | 140 | 14.14 |
| A. Dannecker | 4 | 10 | 0.77 |
| C. Friedrich | 5 | 10 | 0.77 |
| Dirk Koschützki | 6 | 295 | 21.69 |
| Tiziana Margaria | 7 | 2098 | 247.17 |
| F. Schreiber | 8 | 10 | 0.77 |
| Bernhard Steffen | 9 | 4239 | 423.70 |