VERSA is a tool that assists in the algebraic analysis of real-time systems. It is based on ACSR, a timed process algebra designed to express resource-bound real-time distributed systems. VERSA is designed to be both a usable and useful tool for the analysis of ACSR specifications. Usability is assured by a flexible user interface that uses ACSR's traditional notation augmented with conventions from programming languages and mathematics that allow concise specification of realistic systems. Usefulness is the result of the breadth of analysis techniques planned and currently implemented, including algebraic term rewriting and state-space exploration based techniques. 1
|
2762
|
Communication and Concurrency
– Milner
- 1989
|
|
2677
|
Communicating Sequential Processes
– Hoare
- 1978
|
|
1069
|
A calculus of communicating systems
– Milner
- 1980
|
|
541
|
Concurrency and automata on infinite sequences
– Park
- 1981
|
|
422
|
Mathematica : A system for doing mathematics by computer
– WOLFRAM
- 1991
|
|
363
|
Algebraic Theory of Processes
– Hennessy
- 1988
|
|
245
|
Calculi for Synchrony and Asynchrony
– Milner
- 1983
|
|
215
|
Safety Analysis of Timing Properties in Real-Time Systems
– Jahanian, Mok
- 1986
|
|
196
|
The Concurrency Workbench: A semantics-based tool for the veri of systems
– Cleaveland, Parrow, et al.
- 1993
|
|
172
|
A temporal calculus of communicating systems
– Moller, Tofts
- 1990
|
|
168
|
Real time process algebra
– Baeten, Bergstra
- 1991
|
|
135
|
CCS Expressions, Finite State Processes, and Three Problems of Equivalence
– Kanellakis, Smolka
- 1983
|
|
101
|
A process algebra for timed systems
– Hennessy, Regan
- 1995
|
|
92
|
The algebra of timed processes ATP: theory and application
– Nicollin, Sifakis
- 1994
|
|
81
|
Modechart: A Specification Language for Real-Time Systems
– Jahanian, Mok
- 1994
|
|
57
|
CCS + Time = an interleaving model for real time systems
– Yi
- 1991
|
|
55
|
A process algebraic approach to the specification and analysis of resource-bound real-time systems
– Lee, Br'emond-Gr'egoire, et al.
- 1994
|
|
47
|
Communicating Real-Time State Machines
– Shaw
- 1992
|
|
42
|
A benchmark for comparing different approaches for specifying and verifying real-time systems
– Heitmeyer, Jeffords, et al.
- 1993
|
|
40
|
MT: a toolset for specifying and analyzing real-time systems
– Clements, Heitmeyer, et al.
- 1993
|
|
37
|
Metric spaces as models for realtime concurrency
– Reed, Roscoe
- 1987
|
|
36
|
Language Constructs for Distributed Real-Time Programming
– Lee, Gehlot
- 1985
|
|
31
|
Communicating Shared Resources: A Model for Distributed Real-Time Systems
– Gerber
- 1989
|
|
26
|
On the ill-timed but well-caused
– Murphy
- 1993
|
|
22
|
Semantics of Modechart in Real Time Logic
– Jahanian, Lee, et al.
- 1988
|
|
18
|
A prototyping environment for specifying, executing and checking Communicating Real-Time State machines
– Raju, Shaw
- 1994
|
|
16
|
A verifier for real-time properties
– Ostroff
- 1992
|
|
13
|
Really Visual Temporal Reasoning
– Ramakrishna, Melliar-Smith, et al.
- 1993
|
|
13
|
A Process Algebra Manipulator
– PAM
- 1991
|
|
8
|
Engineering CASE Tools to Support Formal Methods for Real-Time Software Development
– Heitmeyer, Labaw, et al.
- 1992
|
|
6
|
The soundness and completeness of ACSR (Algebra of Communicating Shared Resources
– Br'emond-Gr'egoire, Choi, et al.
- 1993
|
|
3
|
Pam user manual
– Lin
- 1991
|
|
1
|
A state minimization algorithm for communicating state machines with arbitrary data space
– Kang, Lee
- 1993
|
|
