Name
Abstract | ||
|---|---|---|
We briey explain the design and implementation of the newly developed tool Truth which serves as a general platform for the systematic investigation of dieren t specic- ation languages, semantic models, and logics for concurrent systems, supported by en- hanced visualization capabilities. Modularity is achieved by employing the rewriting logic approach as a semantic framework for concurrency. Further extensions of Truth, being in the design stage, comprise the support of the trace model of concurrency as well as game{base model checking algorithms. |
Year | DOI | Venue |
|---|---|---|
1998 | 10.1007/978-3-7091-6355-9_11 | Tool Support for System Specification, Development and Verification |
Keywords | DocType | Citations |
semantic model,model checking,rewriting logic | Conference | 8 |
PageRank | References | Authors |
0.70 | 13 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Martin Lange | 1 | 34 | 2.63 |
| Martin Leucker | 2 | 1639 | 112.68 |
| Thomas Noll | 3 | 23 | 6.12 |
| Stephan Tobies | 4 | 1599 | 158.86 |