Skip to main content
SpringerLink
Log in

FM 2016: Formal Methods

21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. John Fitzgerald

    1. Newcastle University, Newcastle upon Tyne, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Constance Heitmeyer

    1. US Naval Research Laboratory, Washington, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Stefania Gnesi

    1. ISTI-CNR, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Anna Philippou

    1. University of Cyprus, Nicosia, Cyprus

    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 9995)

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

Included in the following conference series:

Conference proceedings info: FM 2016.

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 (51 papers)

  1. Front Matter

    Pages I-XXIII
    Download chapter PDF

  2. Invited Presentations

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Industrial-Strength Model-Based Testing of Safety-Critical Systems

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

  3. Research Track

    1. Front Matter

      Pages 23-23
      Download chapter PDF

    2. Counter-Example Guided Program Verification

      • Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep
      Pages 25-42

    3. Tighter Reachability Criteria for Deadlock-Freedom Analysis

      • Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
      Pages 43-59

    4. Compositional Parameter Synthesis

      • Lacramioara Aştefănoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess
      Pages 60-68

    5. Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor

      • Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz et al.
      Pages 69-84

    6. A Model Checking Approach to Discrete Bifurcation Analysis

      • Nikola Beneš, Luboš Brim, Martin Demko, Samuel Pastva, David Šafránek
      Pages 85-101

    7. State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI

      • Stanislav Böhm, Ondřej Meca, Petr Jančar
      Pages 102-118

    8. Formal Verification of Multi-Paxos for Distributed Consensus

      • Saksham Chand, Yanhong A. Liu, Scott D. Stoller
      Pages 119-136

    9. Validated Simulation-Based Verification of Delayed Differential Dynamics

      • Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad, Naijun Zhan
      Pages 137-154

    10. Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation

      • Yuqi Chen, Christopher M. Poskitt, Jun Sun
      Pages 155-163

    11. From Electrical Switched Networks to Hybrid Automata

      • Alessandro Cimatti, Sergio Mover, Mirko Sessa
      Pages 164-181

    12. Danger Invariants

      • Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
      Pages 182-198

    13. Local Planning of Multiparty Interactions with Bounded Horizons

      • Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem
      Pages 199-216

    14. Finding Suitable Variability Abstractions for Family-Based Analysis

      • Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wąsowski
      Pages 217-234

    15. Recovering High-Level Conditions from Binary Programs

      • Adel Djoudi, Sébastien Bardin, Éric Goubault
      Pages 235-253

    16. Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations

      • Antonio Flores-Montoya
      Pages 254-273

    17. Exploring Model Quality for ACAS X

      • Dimitra Giannakopoulou, Dennis Guck, Johann Schumann
      Pages 274-290
Back to top

Other volumes

  1. FM 2016: Formal Methods

Keywords

About this book

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The  broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.

Editors and Affiliations

  • Newcastle University, Newcastle upon Tyne, United Kingdom

    John Fitzgerald

  • US Naval Research Laboratory, Washington, USA

    Constance Heitmeyer

  • ISTI-CNR, Pisa, Italy

    Stefania Gnesi

  • University of Cyprus, Nicosia, Cyprus

    Anna Philippou

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation