FMSP 1998: Clearwater Beach, Florida, USA

Mark A. Ardis, Joanne M. Atlee (Eds.): Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA. ACM 1998, ISBN 0-89791-954-8 BibTeX

Jakob Lyng Petersen:
Automatic verification of railway interlocking systems: a case study. 1-6
Electronic Edition (ACM DL) BibTeX
Matthew B. Dwyer, George S. Avrunin, James C. Corbett:
Property specification patterns for finite-state verification. 7-15
Electronic Edition (ACM DL) BibTeX
John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey:
Experiences in verifying parallel simulation algorithms. 16-23
Electronic Edition (ACM DL) BibTeX
Helmut Melcher, Klaus Winkelmann:
Controller synthesis for the "production cell" case study. 24-33
Electronic Edition (ACM DL) BibTeX
David Y. W. Park, Jens U. Skakkebæk, Mats Per Erik Heimdahl, Barbara J. Czerny, David L. Dill:
Checking properties of safety critical specifications using efficient decision procedures. 34-43
Electronic Edition (ACM DL) BibTeX
Steven P. Miller:
Specifying the mode logic of a flight guidance system in CoRE and SCR. 44-53
Electronic Edition (ACM DL) BibTeX
Joachim Thees, Reinhard Gotzhein:
The experimental Estelle Compiler: automatic generation of implementations from formal specifications. 54-61
Electronic Edition (ACM DL) BibTeX
Bruno Mermet, Dominique Méry:
Service specifications: to B, or not to B. 62-69
Electronic Edition (ACM DL) BibTeX
Liang Chen:
Verification of an audio control protocol within real time process algebra. 70-77
Electronic Edition (ACM DL) BibTeX
Sten Agerholm, Pierre-Jean Lecoeur, Etienne Reichert:
Formal specification and validation at work: a case study using VDM-SL. 78-84
Electronic Edition (ACM DL) BibTeX
Martin S. Feather:
Low-cost pathways towards formal methods use. 85-91
Electronic Edition (ACM DL) BibTeX
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw:
Applying the SCR requirements method to a weapons control panel: an experience report. 92-102
Electronic Edition (ACM DL) BibTeX
Gerard J. Holzmann:
Designing executable abstractions. 103-108
Electronic Edition (ACM DL) BibTeX