Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2019

Formal Methods – The Next 30 Years

Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Editors:

  1. Maurice H. ter Beek

    1. Consiglio Nazionale delle Ricerche, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Annabelle McIver

    1. Macquarie University, Sydney, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. José N. Oliveira

    1. University of Minho, Braga, Portugal

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

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 2019.

Sections

Buy it now

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

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

Table of contents (46 papers)

  1. Front Matter

    Pages i-xxi
    PDF

  2. Invited Presentations

    1. Front Matter

      Pages 1-1
      PDF

    2. The Human in Formal Methods

      • Shriram Krishnamurthi, Tim Nelson
      Pages 3-10

  3. Verification

    1. Front Matter

      Pages 19-19
      PDF

    2. Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm

      • Mariano M. Moscato, Laura Titolo, Marco A. Feliú, César A. Muñoz
      Pages 21-37

    3. Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions

      • Joachim Bard, Heiko Becker, Eva Darulova
      Pages 38-44

    4. Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol

      • Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali
      Pages 45-63

    5. On the Nature of Symbolic Execution

      • Frank S. de Boer, Marcello Bonsangue
      Pages 64-80

  4. Synthesis Techniques

    1. Front Matter

      Pages 81-81
      PDF

    2. GR(1)*: GR(1) Specifications Extended with Existential Guarantees

      • Gal Amram, Shahar Maoz, Or Pistiner
      Pages 83-100

    3. Counterexample-Driven Synthesis for Probabilistic Program Sketches

      • Milan Češka, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
      Pages 101-120

    4. Synthesis of Railway Signaling Layout from Local Capacity Specifications

      • Bjørnar Luteberget, Christian Johansen, Martin Steffen
      Pages 121-137

    5. Pegasus: A Framework for Sound Continuous Invariant Generation

      • Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
      Pages 138-157

  5. Concurrency

    1. Front Matter

      Pages 159-159
      PDF

    2. A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems

      • Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
      Pages 161-178

    3. Verifying Correctness of Persistent Concurrent Data Structures

      • John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
      Pages 179-195

    4. Compositional Verification of Concurrent Systems by Combining Bisimulations

      • Frédéric Lang, Radu Mateescu, Franco Mazzanti
      Pages 196-213

  6. Model Checking Circus

    1. Front Matter

      Pages 215-215
      PDF

    2. Towards a Model-Checker for Circus

      • Artur Oliveira Gomes, Andrew Butterfield
      Pages 217-234
Back to top

Other Volumes

  1. Formal Methods – The Next 30 Years

  2. Formal Methods. FM 2019 International Workshops

  3. Formal Methods. FM 2019 International Workshops

Back to top

About this book

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.

The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.

 

 

 

Back to top

Keywords

Back to top

Editors and Affiliations

  • Consiglio Nazionale delle Ricerche, Pisa, Italy

    Maurice H. ter Beek

  • Macquarie University, Sydney, Australia

    Annabelle McIver

  • University of Minho, Braga, Portugal

    José N. Oliveira

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation