Abstract. We report on the notation and tool integration framework developed
|
2677
|
Communicating Sequential Processes
– Hoare
- 1995
|
|
1345
|
A.: The Temporal Logic of Reactive and Concurrent Systems
– Manna, Pnueli
- 1992
|
|
1128
|
Symbolic Model Checking
– McMillan
- 1992
|
|
993
|
The Z Notation: a Reference Manual
– Spivey
- 1992
|
|
437
|
On the Formal Semantics of Statecharts
– Harel, Pnueli, et al.
- 1987
|
|
363
|
Algebraic Theory of Processes
– Hennessy
- 1988
|
|
354
|
Statemate: A working environment for the development of complex reactive systems
– Harel
- 1990
|
|
173
|
Modeling Reactive Systems with Statecharts: The Statemate Approach
– Harel, Politi
- 1998
|
|
123
|
Executing Temporal Logic Programs
– Moszkowski
- 1986
|
|
42
|
AutoFocus: A tool for distributed systems specification
– Huber, Schätz, et al.
|
|
28
|
A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report
– Ardis, Chaves, et al.
- 1996
|
|
28
|
How to combine Z with a process algebra
– Fischer
- 1998
|
|
17
|
The Concurrency Factory --- practical tools for specification, simulation, verification, and implementation of concurrent systems
– Cleaveland, Gada, et al.
- 1994
|
|
14
|
Specifying Embedded Systems with Statecharts and Z: An Agenda for Cyclic Software Components
– Grieskamp, Heisel, et al.
- 1998
|
|
13
|
Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study
– Bussow, Geisler, et al.
- 1998
|
|
13
|
The SZ notation version 1.0
– Bussow, Geisler, et al.
- 1997
|
|
13
|
Specifying safety-critical embedded systems with statecharts and Z: A case study. Accepted for publication at ETAPS'98
– Bussow, Geisler, et al.
- 1998
|
|
11
|
Preliminary Experience Using Z to Specify a Safety-Critical System
– Knight, Kienzle
- 1992
|
|
9
|
Combinig Z and temporal interval logics for the formalization of properties and behaviors of embedded systems
– Bussow, Grieskamp
- 1997
|
|
9
|
A Structure Preserving Encoding of Z
– Kolyang, Wolff
- 1996
|
|
9
|
Hol-Z in the UniForM-workbench – a case study in tool integration for Z
– Luth, Karlsen, et al.
- 1998
|
|
7
|
A Computation Model for Z based on Concurrent Constraint Resolution
– Grieskamp
- 2000
|
|
6
|
editors. ZUM'98: The Z Formal Specification Notation
– Bowen, Fett, et al.
- 1998
|
|
6
|
Formal methods in the specification of real-time, safety-critical control systems
– Ruddle
- 1992
|
|
6
|
Combining Z and temporal interval logics for the formalization of properties and behaviors of embedded systems
– Bussow, Grieskamp
- 1997
|
|
5
|
Universelle Entwicklungsumgebung fur Formale
– Krieg-Bruckner, Peleska, et al.
- 1995
|
|
4
|
Z applied to the A330/340 CICS cabin communication system
– Hamer, Peleska
- 1995
|
|
3
|
An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools
– Bussow, Grieskamp, et al.
- 1998
|
|
3
|
An adaptive cruise control system -- a case study for the industrial use of formal methods
– Conrad, Wetter
- 1997
|
|
3
|
Olnhausen. A framework for evaluating speci cation methods for reactive systems - experience report
– Ardis, Chaves, et al.
- 1996
|
|
2
|
Innovations in standard Z notation
– Toyn
- 1998
|
|
2
|
An Agenda for Event-Driven Software Components with Complex Data Models
– Winter, Santen, et al.
- 1998
|
|
2
|
Formal methods in the speci cation of real-time, safety-critical control systems
– Ruddle
|
|
1
|
Model Checking SZ Specifications
– Bussow
- 2000
|
|
1
|
Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System
– Grieskamp, Lepper
- 2000
|
|
1
|
editors. ZUM'98: The Z Formal Speci - cation Notation
– Bowen, Fett, et al.
- 1998
|
|
