Formal Methods

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

  • Klaus Havelund
  • Jan Peleska
  • Bill Roscoe
  • Erik de Vink

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10951)

Table of contents

  1. Back Matter
    Pages 691-692

About these proceedings


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.


artificial intelligence data security formal logic formal methods formal verifications model checking program debugging robots safety critical systems satisfiability security systems software engineering software evaluation specifications temporal logic verification

Editors and affiliations

  1. 1.NASA Jet Propulsion LaboratoryPasadenaUSA
  2. 2.University of BremenBremenGermany
  3. 3.University of OxfordOxfordUnited Kingdom
  4. 4.Eindhoven University of TechnologyEindhovenThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-95581-0
  • Online ISBN 978-3-319-95582-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site