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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897919548

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 1

Author(s):

Liang Chen

Keyword(s):

Real Time ◽

Process Algebra ◽

Time Process ◽

Control Protocol

Download Full-text

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 ◽

Cited By ~ 215

Author(s):

Matthew B. Dwyer ◽

George S. Avrunin ◽

James C. Corbett

Keyword(s):

Finite State ◽

Property Specification ◽

Finite State Verification

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 ◽

Cited By ~ 4

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 ◽

Cited By ~ 4

Author(s):

John Penix ◽

Dale Martin ◽

Peter Frey ◽

Ramanan Radhakrishnan ◽

Perry Alexander ◽

...

Keyword(s):

Parallel Simulation ◽

Simulation Algorithms

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 ◽

Cited By ~ 6

Author(s):

Sten Agerholm ◽

Pierre-Jean Lecoeur ◽

Etienne Reichert

Keyword(s):

Formal Specification

Download Full-text

Designing executable abstractions

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

10.1145/298595.298864 ◽

1998 ◽

Cited By ~ 8

Author(s):

Gerard J. Holzmann

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 ◽

Cited By ~ 50

Author(s):

Steven P. Miller

Keyword(s):

Guidance System ◽

Flight Guidance

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 ◽

Cited By ~ 6

Author(s):

Helmut Melcher ◽

Klaus Winkelmann

Keyword(s):

Controller Synthesis ◽

Production Cell

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 ◽

Low Cost

Download Full-text

Service specifications

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

10.1145/298595.298859 ◽

1998 ◽

Cited By ~ 3

Author(s):

Bruno Mermet ◽

Dominique Méry

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Verification of an audio control protocol within real time process algebra

Property specification patterns for finite-state verification

The experimental Estelle Compiler

Experiences in verifying parallel simulation algorithms

Formal specification and validation at work

Designing executable abstractions

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

Controller synthesis for the “production cell” case study

Low-cost pathways towards formal methods use

Service specifications

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