Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9933)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
- AVoCS: International Workshop on Automated Verification of Critical Systems
- FMICS: International Conference on Formal Methods for Industrial Critical Systems
Conference proceedings info: AVoCS 2016, FMICS 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
Similar content being viewed by others
Keywords
- dynamic analysis
- formal methods
- logic and verification
- model checking
- software testing and debugging
- automata theory
- Gaussian processes
- grammars and context-free languages
- linear type-systems
- monitorability
- monitoring algorithms
- quantitative semantics
- regular languages
- runtime adaptation
- software verification
- spatio-temporal logic
- transducers
- Turing patterns
- uncertainty
- weighted graphs
Table of contents (16 papers)
-
Invited Talk
-
Automated Verification Techniques
-
Model-Based System Analysis
-
Applications and Case Studies
Other volumes
-
Critical Systems: Formal Methods and Automated Verification
Editors and Affiliations
Bibliographic Information
Book Title: Critical Systems: Formal Methods and Automated Verification
Book Subtitle: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Editors: Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-45943-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2016
Softcover ISBN: 978-3-319-45942-4Published: 14 September 2016
eBook ISBN: 978-3-319-45943-1Published: 12 September 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 247
Number of Illustrations: 89 b/w illustrations
Topics: Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software Engineering, Special Purpose and Application-Based Systems, Mathematical Logic and Formal Languages