Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540566625, 9783540476238

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal verification for fault-tolerant architectures: Some lessons learned

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024663 ◽

1993 ◽

pp. 482-500 ◽

Cited By ~ 7

Author(s):

Sam Owre ◽

John Rushby ◽

Natarajan Shankar ◽

Friedrich von Henke

Keyword(s):

Formal Verification ◽

Fault Tolerant ◽

Lessons Learned

Download Full-text

An overview of the SPRINT method

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024659 ◽

1993 ◽

pp. 403-427 ◽

Cited By ~ 5

Author(s):

H. B. M. Jonkers

Download Full-text

Using relative refinement for fault tolerance

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024635 ◽

1993 ◽

pp. 19-41 ◽

Cited By ~ 3

Author(s):

Antonio Cau ◽

Willem-Paul de Roever

Keyword(s):

Fault Tolerance

Download Full-text

Integrating SA/RT with LOTOS

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024670 ◽

1993 ◽

pp. 617-631

Author(s):

Anthony W. van der Vloedt ◽

Kees Bogaards

Download Full-text

The industrial take-up of formal methods in safety-critical and other areas: A perspective

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024646 ◽

1993 ◽

pp. 183-195 ◽

Cited By ~ 19

Author(s):

Jonathan Bowen ◽

Victoria Stavridou

Keyword(s):

Formal Methods ◽

Safety Critical

Download Full-text

Model checking in practice

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024643 ◽

1993 ◽

pp. 129-147 ◽

Cited By ~ 2

Author(s):

Geoff Barrett

Keyword(s):

Model Checking

Download Full-text

Process instances in LOTOS simulation

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024665 ◽

1993 ◽

pp. 521-540

Author(s):

Simon Pickin ◽

Yan Yang ◽

Wiet Bouma ◽

Sylvie Simon ◽

Tanja de Groot

Download Full-text

Generalizing Abadi & Lamport's method to solve a problem posed by A. Pnueli

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024653 ◽

1993 ◽

pp. 294-313 ◽

Cited By ~ 4

Author(s):

Kai Engelhardt ◽

Willem-Paul de Roever

Download Full-text

Towards an implementation-oriented specification of TP protocol in LOTOS

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024641 ◽

1993 ◽

pp. 93-109

Author(s):

Ing Widya ◽

Gert-Jan van der Heijden

Download Full-text

Experiences from applications of RAISE

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024637 ◽

1993 ◽

pp. 52-63 ◽

Cited By ~ 1

Author(s):

Bent Dandanell ◽

Jesper Gørtz ◽

Jan Storbank Pedersen ◽

Eld Zierau

Download Full-text

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Formal verification for fault-tolerant architectures: Some lessons learned

An overview of the SPRINT method

Using relative refinement for fault tolerance

Integrating SA/RT with LOTOS

The industrial take-up of formal methods in safety-critical and other areas: A perspective

Model checking in practice

Process instances in LOTOS simulation

Generalizing Abadi & Lamport's method to solve a problem posed by A. Pnueli

Towards an implementation-oriented specification of TP protocol in LOTOS

Experiences from applications of RAISE

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods
Latest Publications