Skip to main content
SpringerLink
Log in

Formal Methods – The Next 30 Years

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

  • Conference proceedings
  • © 2019

Overview

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)

Included in the following conference series:

Conference proceedings info: FM 2019.

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

  1. Model Checking Circus

    1. Circus2CSP: A Tool for Model-Checking Circus Using FDR

      • Artur Oliveira Gomes, Andrew Butterfield
      Pages 235-242

  2. Model Checking

    1. Front Matter

      Pages 243-243
      Download chapter PDF

    2. How Hard Is Finding Shortest Counter-Example Lassos in Model Checking?

      • Rüdiger Ehlers
      Pages 245-261

    3. From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata

      • Simon Jantsch, David Müller, Christel Baier, Joachim Klein
      Pages 262-279

    4. Generic Partition Refinement and Weighted Tree Automata

      • Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann
      Pages 280-297

    5. Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games

      • Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
      Pages 298-315

  3. Analysis Techniques

    1. Front Matter

      Pages 317-317
      Download chapter PDF

    2. Abstract Execution

      • Dominic Steinhöfel, Reiner Hähnle
      Pages 319-336

    3. Static Analysis for Detecting High-Level Races in RTOS Kernels

      • Abhishek Singh, Rekha Pai, Deepak D’Souza, Meenakshi D’Souza
      Pages 337-353

    4. Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic

      • Simon Lunel, Stefan Mitsch, Benoit Boyer, Jean-Pierre Talpin
      Pages 354-370

    5. An Axiomatic Approach to Liveness for Differential Equations

      • Yong Kiam Tan, André Platzer
      Pages 371-388

    6. Local Consistency Check in Synchronous Dataflow Models

      • Dina Irofti, Paul Dubrulle
      Pages 389-405

    7. Gray-Box Monitoring of Hyperproperties

      • Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
      Pages 406-424

    8. Quantitative Verification of Numerical Stability for Kalman Filters

      • Alexandros Evangelidis, David Parker
      Pages 425-441

    9. Concolic Testing Heap-Manipulating Programs

      • Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun
      Pages 442-461

  4. Specification Languages

    1. Front Matter

      Pages 463-463
      Download chapter PDF

    2. Formal Semantics Extraction from Natural Language Specifications for ARM

      • Anh V. Vu, Mizuhito Ogawa
      Pages 465-483

    3. GOSPEL—Providing OCaml with a Formal Specification Language

      • Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço, Mário Pereira
      Pages 484-501

    4. Unification in Matching Logic

      • Andrei Arusoaie, Dorel Lucanu
      Pages 502-518

    5. Embedding High-Level Formal Specifications into Applications

      • Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
      Pages 519-535
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

Keywords

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.

 

 

 

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation