Proceedings of the second workshop on Formal methods in software practice - FMSP '98
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By ACM Press

0897919548

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Property specification patterns for finite-state verification

Proceedings of the second workshop on Formal methods in software practice - FMSP '98 ◽

10.1145/298595.298598 ◽

1998 ◽

Author(s):

Matthew B. Dwyer ◽

George S. Avrunin ◽

James C. Corbett

Keyword(s):

Finite State ◽

Property Specification ◽

Finite State Verification

Download Full-text

Verification of an audio control protocol within real time process algebra

Proceedings of the second workshop on Formal methods in software practice - FMSP '98 ◽

10.1145/298595.298860 ◽

1998 ◽

Author(s):

Liang Chen

Keyword(s):

Real Time ◽

Process Algebra ◽

Time Process ◽

Control Protocol

Download Full-text

The experimental Estelle Compiler

Proceedings of the second workshop on Formal methods in software practice - FMSP '98 ◽

10.1145/298595.298858 ◽

1998 ◽

Author(s):

Joachim Thees ◽

Reinhard Gotzhein

Download Full-text

Experiences in verifying parallel simulation algorithms

Proceedings of the second workshop on Formal methods in software practice - FMSP '98 ◽

10.1145/298595.298600 ◽

1998 ◽

Author(s):

John Penix ◽

Dale Martin ◽

Peter Frey ◽

Ramanan Radhakrishnan ◽

Perry Alexander ◽

...

Keyword(s):

Parallel Simulation ◽

Simulation Algorithms

Download Full-text

Designing executable abstractions

Proceedings of the second workshop on Formal methods in software practice - FMSP '98 ◽

10.1145/298595.298864 ◽

1998 ◽

Author(s):

Gerard J. Holzmann

Download Full-text

Formal specification and validation at work

Proceedings of the second workshop on Formal methods in software practice - FMSP '98 ◽

10.1145/298595.298861 ◽

1998 ◽

Author(s):

Sten Agerholm ◽

Pierre-Jean Lecoeur ◽

Etienne Reichert

Keyword(s):

Formal Specification

Download Full-text

Service specifications

Proceedings of the second workshop on Formal methods in software practice - FMSP '98 ◽

10.1145/298595.298859 ◽

1998 ◽

Author(s):

Bruno Mermet ◽

Dominique Méry

Download Full-text

Specifying the mode logic of a flight guidance system in CoRE and SCR

Proceedings of the second workshop on Formal methods in software practice - FMSP '98 ◽

10.1145/298595.298856 ◽

1998 ◽

Author(s):

Steven P. Miller

Keyword(s):

Guidance System ◽

Flight Guidance

Download Full-text

Low-cost pathways towards formal methods use

Proceedings of the second workshop on Formal methods in software practice - FMSP '98 ◽

10.1145/298595.298862 ◽

1998 ◽

Author(s):

Martin S. Feather

Keyword(s):

Formal Methods ◽

Download Full-text

Controller synthesis for the “production cell” case study

Proceedings of the second workshop on Formal methods in software practice - FMSP '98 ◽

10.1145/298595.298601 ◽

1998 ◽

Author(s):

Helmut Melcher ◽

Klaus Winkelmann

Keyword(s):

Controller Synthesis ◽

Production Cell

Download Full-text