Skip to main content
SpringerLink
Log in
Book cover

Critical Systems: Formal Methods and Automated Verification

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Maurice H. ter Beek

    1. ISTI-CNR , Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Stefania Gnesi

    1. ISTI-CNR , Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Alexander Knapp

    1. Universität Augsburg, Augsburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9933)

Part of the book sub series: Programming and Software Engineering (LNPSE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations

      • Jan Peleska, Wen-ling Huang
      Pages 3-21

  3. Automated Verification Techniques

    1. Front Matter

      Pages 23-23
      Download chapter PDF

    2. Abstract Interpretation of MATLAB Code with Interval Sets

      • Christian Dernehl, Norman Hansen, Stefan Kowalewski
      Pages 25-38

    3. Workflow Nets Verification: SMT or CLP?

      • Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron
      Pages 39-55

    4. One Step Towards Automatic Inference of Formal Specifications Using Automated VeriFast

      • Mahmoud Mohsen, Bart Jacobs
      Pages 56-64

    5. Analyzing Unsatisfiability in Bounded Model Checking Using Max-SMT and Dual Slicing

      • Takuro Kutsuna, Yoshinao Ishii
      Pages 65-80

    6. Towards the Automated Verification of Weibull Distributions for System Failure Rates

      • Yu Lu, Alice A. Miller, Ruth Hoffmann, Christopher W. Johnson
      Pages 81-96

    7. Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis

      • Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif
      Pages 97-114

  4. Model-Based System Analysis

    1. Front Matter

      Pages 115-115
      Download chapter PDF

    2. Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems

      • Arnaud Dieumegard, Andres Toom, Marc Pantel
      Pages 117-132

    3. A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems

      • Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen et al.
      Pages 133-141

    4. Utilising \({\mathbb {K}}\) Semantics for Collusion Detection in Android Applications

      • Irina Măriuca Asăvoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Shaikh
      Pages 142-149

    5. Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with

      • Axel Habermaier, Johannes Leupolz, Wolfgang Reif
      Pages 150-167

  5. Applications and Case Studies

    1. Front Matter

      Pages 169-169
      Download chapter PDF

    2. Formal Verification of a Rover Anti-collision System

      • Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau
      Pages 171-188

    3. Verification of AUTOSAR Software Architectures with Timed Automata

      • Steffen Beringer, Heike Wehrheim
      Pages 189-204

    4. Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System

      • Philip Johnson-Freyd, Geoffrey C. Hulette, Zena M. Ariola
      Pages 205-213

    5. Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System

      • Somsak Vanit-Anunchai
      Pages 214-230
Back to top

Other volumes

  1. Critical Systems: Formal Methods and Automated Verification

Keywords

About this book

This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.
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.

Editors and Affiliations

  • ISTI-CNR , Pisa, Italy

    Maurice H. ter Beek, Stefania Gnesi

  • Universität Augsburg, Augsburg, Germany

    Alexander Knapp

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation