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

Formal Methods

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

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)

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

Conference proceedings info: FM 2018.

Sections

Buy it now

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

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-XIV
    PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      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
      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

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

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

    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

Back to top

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.
Back to top

Keywords

Back to top

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

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

Search

Navigation