Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10471)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): AVoCS: International Workshop on Automated Verification of Critical Systems, FMICS: International Conference on Formal Methods for Industrial Critical Systems
Conference proceedings info: AVoCS 2017, FMICS 2017.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (15 papers)
-
Front Matter
-
Special Track: Formal Methods for Mobile and Autonomous Robots
-
Front Matter
-
-
Modeling and Analysis Techniques
-
Front Matter
-
About this book
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.
The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.
Editors and Affiliations
-
Paris 13 University, Villetaneuse, France
Laure Petrucci
-
Mälardalen University, Västerås, Sweden
Cristina Seceleanu
-
University of York, York, United Kingdom
Ana Cavalcanti
Bibliographic Information
Book Title: Critical Systems: Formal Methods and Automated Verification
Book Subtitle: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
Editors: Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-67113-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-67112-3Published: 25 August 2017
eBook ISBN: 978-3-319-67113-0Published: 02 September 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 235
Number of Illustrations: 52 b/w illustrations
Topics: Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Software Engineering, Special Purpose and Application-Based Systems, Mathematical Logic and Formal Languages