Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642032394, 9783642032400

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03240-0_6 ◽

2009 ◽

pp. 23-36 ◽

Author(s):

Virginia Papailiopoulou ◽

Laya Madani ◽

Lydie du Bousquet ◽

Ioannis Parissis

Keyword(s):

Test Coverage ◽

Coverage Criteria ◽

Structural Test

Download Full-text

Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03240-0_3 ◽

2009 ◽

pp. 3-3 ◽

Author(s):

Werner Damm

Download Full-text

Formal Methods for Critical Systems

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03240-0_1 ◽

2009 ◽

pp. 1-1

Author(s):

Steven P. Miller

Keyword(s):

Formal Methods ◽

Critical Systems

Download Full-text

From Informal Requirements to Property-Driven Formal Validation

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03240-0_15 ◽

2009 ◽

pp. 166-181 ◽

Author(s):

Alessandro Cimatti ◽

Marco Roveri ◽

Angelo Susi ◽

Stefano Tonetta

Keyword(s):

Formal Validation

Download Full-text

Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03240-0_13 ◽

2009 ◽

pp. 135-149 ◽

Author(s):

Christian Colombo ◽

Gordon J. Pace ◽

Gerardo Schneider

Keyword(s):

Real Time ◽

Runtime Monitoring ◽

Dynamic Event ◽

Download Full-text

LETO - A Lustre-Based Test Oracle for Airbus Critical Systems

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03240-0_5 ◽

2009 ◽

pp. 7-22

Author(s):

Guy Durrieu ◽

Hélène Waeselynck ◽

Virginie Wiels

Keyword(s):

Critical Systems ◽

Download Full-text

Formal Verification of the Implementability of Timing Requirements

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03240-0_12 ◽

2009 ◽

pp. 119-134 ◽

Author(s):

Xiayong Hu ◽

Mark Lawford ◽

Alan Wassyng

Keyword(s):

Formal Verification

Download Full-text

Model-Based Verification of Automotive Control Software

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03240-0_2 ◽

2009 ◽

pp. 2-2 ◽

Author(s):

Rance Cleaveland

Keyword(s):

Control Software ◽

Automotive Control ◽

Model Based ◽

Automotive Control Software

Download Full-text

Efficient Symbolic Model Checking for Process Algebras

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03240-0_9 ◽

2009 ◽

pp. 69-84 ◽

Author(s):

José Vander Meulen ◽

Charles Pecheur

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Process Algebras ◽

Download Full-text

Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03240-0_17 ◽

2009 ◽

pp. 199-214 ◽

Author(s):

Erzsébet Németh ◽

Tamás Bartha

Keyword(s):

Formal Verification ◽

Functional Block ◽

Download Full-text