Description
Formal Techniques for Safety-Critical Systems, 2015
Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Communications in Computer and Information Science Series, Vol. 476
Coordinators: Artho Cyrille, Ölveczky Peter Csaba
Language: EnglishSubject for Formal Techniques for Safety-Critical Systems:
Keywords
aerospace systems; automata theory; formal languages; formal methods; industrial applications; model checking; model development and analysis; model-driven software engineering; modeling languages; railway systems; safety critical systems; software engineering; software system models; software verification
257 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>Comment
/li>
Case studies and experience reports on the use of formal methods for analyzing.- Safety-critical systems.- Methods, techniques, and tools to support automated analysis, certifcation, and debugging of complex safety/QoS-critical systems.- Analysis methods that address the limitations of formal methods in industry.- Formal analysis support for modeling languages used in industry.- Code generation from validated models.- Methods, techniques, and tools to support automated analysis, certifcation, and debugging of complex safety/QoS-critical systems.- Analysis methods that address the limitations of formal methods in industry.- Formal analysis support for modeling languages used in industry.- Code generation from validated models.
Includes supplementary material: sn.pub/extras