Volume 29,
Numbers 1-2,
July 1997
- Jan Friso Groote, Martin Rem:
Foreword.
1-2
,
- Glenn Bruns:
An Industrial Application of Modal Process Logic.
3-22
- Tatjana Kapus, Zmago Brezocnik:
Verification of XTP Context Management Closing Procedure in Style of TLA.
23-52
- Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods:
Making the Most of Formal Specification Through Animation, Testing and Proof.
53-78
- Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea:
Symbolic Techniques for Formally Verifying Industrial Systems.
79-98
- Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.:
Modeling and Verifying Active Structural Control Systems.
99-122
- Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho:
An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology.
123-146
- Matthew J. Morley:
Safety-Level Communication in Railway Interlockings.
147-170
- Hubert Garavel, Laurent Mounier:
Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks.
171-197
- Jan A. Bergstra, Joris A. Hillebrand, Alban Ponse:
Grid Protocols Based on Synchronous Communication.
199-233
- S. H. J. Bos, Michel A. Reniers:
The I²C-Bus in Discrete-Time Process Algebra.
235-258
- Henri Korver:
Detecting Feature Interactions with CÆSAR/ALDÉBARAN.
259-278
Volume 29,
Number 3,
September 1997
Copyright © Mon Nov 2 21:51:37 2009
by Michael Ley (ley@uni-trier.de)
