Download:
|
by Rance Cleaveland, Eric Madelaine, Steve Sims
http://www-sop.inria.fr/meije/papers/pac.tacas.ps.gz
Add To MetaCart
Abstract:
syntax and semantics as structural operational rules, the PAC produces syntactic routines and functions for computing the semantics of programs in the algebra. Using this tool greatly simplifies the task of adapting verification tools to the analysis of systems described in different languages; it may therefore be used to achieve source-level compatibility between different verification tools. Although the initial verification tools targeted by the PAC are MAUTO and the Concurrency Workbench, the structure of the PAC caters for the support of other tools as well. 1
Citations
|
2807
|
Communication and Concurrency
– Milner
- 1989
|
|
1076
|
A structural approach to operational semantics
– Plotkin
- 1981
|
|
372
|
Introduction to the ISO specification language LOTOS
– Bolognesi, Brinksma
- 1989
|
|
268
|
Natural semantics
– Kahn
- 1987
|
|
200
|
B.: The concurrency workbench: a semanticsbased tool for the verification of concurrent systems
– Cleaveland, Parrow, et al.
- 1993
|
|
186
|
Structured Operational Semantics and Bisimulation as a Congruence, Draft
– Groote, Vaandrager
- 1989
|
|
157
|
Bisimulation Can't Be Traced
– Bloom, Istrail, et al.
- 1988
|
|
110
|
A congruence theorem for structured operational semantics with predicates and negative premises
– Verhoef
- 1995
|
|
88
|
A Temporal Process Algebra
– Hennessy, Regan
- 1990
|
|
78
|
Compositionality through an operational semantics of contexts
– Larsen, Xinxin
- 1990
|
|
54
|
Alg`ebre de processus et synchronisations
– Austry, Boudol
- 1984
|
|
46
|
Efficient On-the-Fly Model Checking for CTL
– Bhat, Cleaveland, et al.
- 1995
|
|
46
|
Testing equivalence as a bisimulation equivalence
– Cleaveland, Hennessy
- 1993
|
|
35
|
AUTO and Autograph
– Roy, Simone
- 1990
|
|
30
|
Process calculi, from theory to practice: Verification tools
– Boudol, Roy, et al.
- 1990
|
|
16
|
TAV (tools for automatic verification) --- users manual
– Godskesen, Larsen, et al.
- 1989
|
|
15
|
Analyzing Concurrent Systems using the Concurrency Workbench
– Cleaveland
- 1993
|
|
13
|
Ald'ebaran: A tool for verification of communicating processes
– Fernandez
- 1989
|
|
13
|
Finiteness conditions and structural construction of automata for all process algebras
– Madelaine, Vergamini
- 1990
|
|
6
|
Specification and verification of a sliding window protocol in Lotos
– Madelaine, Vergamini
- 1991
|
