Formal Methods and their Role in the Certification of Critical Systems

1997 ◽  
pp. 1-42 ◽  
Author(s):  
John Rushby
Keyword(s):  
Formal Methods ◽  
Critical Systems

scholarly journals Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems

2013 ◽  
Vol 23 (4) ◽  
pp. 675-675
Author(s):  
AZER BESTAVROS ◽  
ASSAF KFOURY
Keyword(s):  
Computer Science ◽  
Formal Methods ◽  
Wide Spectrum ◽  
Critical Systems ◽  
Research Groups ◽  
Special Issue ◽  
Mathematical Structures ◽  
Safety Critical ◽  
Safety Critical Systems ◽  
Final Selection

The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practical formal methods in the design and analysis of safety-critical systems. All the papers we received were submitted to a rigorous process of review and revision, based on which we made our final selection.

The practice of formal methods in safety-critical systems

1995 ◽  
Vol 28 (1) ◽  
pp. 77-87 ◽  
Author(s):  
Shaoying Liu ◽  
Victoria Stavridou ◽  
Bruno Dutertre
Keyword(s):  
Formal Methods ◽  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems

scholarly journals Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)

2011 ◽  
Vol 76 (2) ◽  
pp. 63-64
Author(s):  
Darren Cofer ◽  
Alessandro Fantechi ◽  
Stefan Leue ◽  
Pedro Merino
Keyword(s):  
Formal Methods ◽  
Critical Systems ◽  
Special Issue

scholarly journals Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)

2013 ◽  
Vol 78 (7) ◽  
pp. 775-777
Author(s):  
María Alpuente ◽  
Christophe Joubert ◽  
Stefan Kowalewski ◽  
Marco Roveri
Keyword(s):  
Formal Methods ◽  
Special Section ◽  
Critical Systems
Sign in / Sign up

Export Citation Format

Share Document