Critical Systems: Formal Methods and Automated Verification

2017 ◽  
Keyword(s):  
Formal Methods ◽  
Automated Verification ◽  
Critical Systems

Formal methods and automated verification of critical systems

2018 ◽  
Vol 20 (4) ◽  
pp. 355-358 ◽  
Author(s):  
Maurice H. ter Beek ◽  
Stefania Gnesi ◽  
Alexander Knapp
Keyword(s):  
Formal Methods ◽  
Automated Verification ◽  
Critical Systems

scholarly journals Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010)

2014 ◽  
Vol 81 ◽  
pp. 1-2
Author(s):  
Jens Bendisposto ◽  
Michael Leuschel ◽  
Markus Roggenbach
Keyword(s):  
Automated Verification ◽  
Critical Systems

scholarly journals Special issue on Automated Verification of Critical Systems (AVoCS'12)

2014 ◽  
Vol 96 ◽  
pp. 277-278
Author(s):  
Gerald Lüttgen ◽  
Stephan Merz
Keyword(s):  
Automated Verification ◽  
Critical Systems ◽  
Special Issue

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
Sign in / Sign up

Export Citation Format

Share Document