Skip to main content
SpringerLink
Log in
Book cover

Formal Methods

22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Klaus Havelund

    1. NASA Jet Propulsion Laboratory, Pasadena, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jan Peleska

    1. University of Bremen, Bremen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Bill Roscoe

    1. University of Oxford, Oxford, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Erik de Vink

    1. Eindhoven University of Technology, Eindhoven, The Netherlands

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

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

Included in the following conference series:

Conference proceedings info: FM 2018.

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 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 99.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. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Processing Text for Privacy: An Information Flow Perspective

      • Natasha Fernandes, Mark Dras, Annabelle McIver
      Pages 3-21

    3. 20 Years of Real Real Time Model Validation

      • Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen
      Pages 22-36

  3. FM 2018 Main Conference

    1. Front Matter

      Pages 37-37
      Download chapter PDF

    2. Deadlock Detection for Actor-Based Coroutines

      • Keyvan Azadbakht, Frank S. de Boer, Erik de Vink
      Pages 39-54

    3. An Algebraic Approach for Reasoning About Information Flow

      • Arthur Américo, Mário S. Alvim, Annabelle McIver
      Pages 55-72

    4. Towards ‘Verifying’ a Water Treatment System

      • Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu
      Pages 73-92

    5. FSM Inference from Long Traces

      • Florent Avellaneda, Alexandre Petrenko
      Pages 93-109

    6. A Weakness Measure for GR(1) Formulae

      • Davide Giacomo Cavezza, Dalal Alrajeh, András György
      Pages 110-128

    7. Producing Explanations for Rich Logics

      • Simon Busard, Charles Pecheur
      Pages 129-146

    8. The Compound Interest in Relaxing Punctuality

      • Thomas Ferrère
      Pages 147-164

    9. IPL: An Integration Property Language for Multi-model Cyber-physical Systems

      • Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley Schmerl, David Garlan
      Pages 165-184

    10. Timed Epistemic Knowledge Bases for Social Networks

      • Raúl Pardo, César Sánchez, Gerardo Schneider
      Pages 185-202

    11. Optimal and Robust Controller Synthesis

      • Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier
      Pages 203-221

    12. Encoding Fairness in a Synchronous Concurrent Program Algebra

      • Ian J. Hayes, Larissa A. Meinicke
      Pages 222-239

    13. A Wide-Spectrum Language for Verification of Programs on Weak Memory Models

      • Robert J. Colvin, Graeme Smith
      Pages 240-257

    14. Operational Semantics of a Weak Memory Model with Channel Synchronization

      • Daniel Schnetzer Fava, Martin Steffen, Volker Stolz
      Pages 258-276

    15. Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE

      • Signe Geisler, Anne E. Haxthausen
      Pages 277-293

    16. Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods

      • Rongjie Yan, Di Zhu, Fan Zhang, Yiqi Lv, Junjie Yang, Kai Huang
      Pages 294-311
Back to top

Other volumes

  1. Formal Methods

Keywords

About this book

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.


The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.

Editors and Affiliations

  • NASA Jet Propulsion Laboratory, Pasadena, USA

    Klaus Havelund

  • University of Bremen, Bremen, Germany

    Jan Peleska

  • University of Oxford, Oxford, United Kingdom

    Bill Roscoe

  • Eindhoven University of Technology, Eindhoven, The Netherlands

    Erik de Vink

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation