Skip to main content
  • Conference proceedings
  • © 2016

FM 2016: Formal Methods

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

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

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

Conference series link(s): FM: International Symposium on Formal Methods

Conference proceedings info: FM 2016.

Buying options

eBook USD 89.00
Price excludes VAT (USA)
  • ISBN: 978-3-319-48989-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 119.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (51 papers)

  1. Front Matter

    Pages I-XXIII
  2. Invited Presentations

    1. Front Matter

      Pages 1-1
  3. Research Track

    1. Front Matter

      Pages 23-23
    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. Formal Verification of Multi-Paxos for Distributed Consensus

      • Saksham Chand, Yanhong A. Liu, Scott D. Stoller
      Pages 119-136
    8. Validated Simulation-Based Verification of Delayed Differential Dynamics

      • Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad, Naijun Zhan
      Pages 137-154
    9. Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation

      • Yuqi Chen, Christopher M. Poskitt, Jun Sun
      Pages 155-163
    10. From Electrical Switched Networks to Hybrid Automata

      • Alessandro Cimatti, Sergio Mover, Mirko Sessa
      Pages 164-181
    11. Danger Invariants

      • Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
      Pages 182-198
    12. Local Planning of Multiparty Interactions with Bounded Horizons

      • Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem
      Pages 199-216
    13. Finding Suitable Variability Abstractions for Family-Based Analysis

      • Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wąsowski
      Pages 217-234
    14. Recovering High-Level Conditions from Binary Programs

      • Adel Djoudi, Sébastien Bardin, Éric Goubault
      Pages 235-253
    15. Exploring Model Quality for ACAS X

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

Other Volumes

  1. FM 2016: Formal Methods

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

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.

Keywords

  • dynamic analysis
  • hybrid systems
  • model checking
  • software analysis
  • specification and verification
  • abstraction
  • automated static analysis
  • code generation
  • combinatorial testing
  • coq
  • dynamical systems
  • formal methods
  • formal verification
  • industrial application of formal methods
  • logic
  • model-based testing
  • rule-based modeling
  • simulation
  • symbolic execution
  • timed automata

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

Buying options

eBook USD 89.00
Price excludes VAT (USA)
  • ISBN: 978-3-319-48989-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 119.99
Price excludes VAT (USA)