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
Conference proceedings FM 2018

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. Front Matter
    Pages I-XIV
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Natasha Fernandes, Mark Dras, Annabelle McIver
      Pages 3-21
    3. Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen
      Pages 22-36
  3. FM 2018 Main Conference

    1. Front Matter
      Pages 37-37
    2. Keyvan Azadbakht, Frank S. de Boer, Erik de Vink
      Pages 39-54
    3. Arthur Américo, Mário S. Alvim, Annabelle McIver
      Pages 55-72
    4. Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu
      Pages 73-92
    5. Florent Avellaneda, Alexandre Petrenko
      Pages 93-109
    6. Davide Giacomo Cavezza, Dalal Alrajeh, András György
      Pages 110-128
    7. Simon Busard, Charles Pecheur
      Pages 129-146
    8. Thomas Ferrère
      Pages 147-164
    9. Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley Schmerl, David Garlan
      Pages 165-184
    10. Raúl Pardo, César Sánchez, Gerardo Schneider
      Pages 185-202
    11. Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier
      Pages 203-221
    12. Ian J. Hayes, Larissa A. Meinicke
      Pages 222-239
    13. Daniel Schnetzer Fava, Martin Steffen, Volker Stolz
      Pages 258-276
    14. Rongjie Yan, Di Zhu, Fan Zhang, Yiqi Lv, Junjie Yang, Kai Huang
      Pages 294-311
    15. Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
      Pages 312-328
    16. Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente
      Pages 329-337
    17. Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet
      Pages 338-354
    18. Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock
      Pages 355-363
    19. Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, François Bobot
      Pages 364-381
    20. Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen
      Pages 382-398
    21. Claudio Menghi, Sergio Garcia, Patrizio Pelliccione, Jana Tumova
      Pages 399-417
    22. Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer
      Pages 418-437
    23. Hana Chockler, Shibashis Guha, Orna Kupferman
      Pages 438-455
    24. Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao
      Pages 456-465
    25. Dhriti Khanna, Subodh Sharma, César Rodríguez, Rahul Purandare
      Pages 466-484
    26. Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin et al.
      Pages 523-541
    27. Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Tranouez
      Pages 542-549
    28. Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva
      Pages 550-567
    29. Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi
      Pages 568-587
    30. Chuchu Fan, Zhenqi Huang, Sayan Mitra
      Pages 588-607
    31. Alessandro Cimatti, Ivan Stojic, Stefano Tonetta
      Pages 625-644 Open Access
  4. FM 2018 Industry Day

    1. Front Matter
      Pages 645-645
    2. César Muñoz, Anthony Narkawicz, Aaron Dutle
      Pages 647-652
    3. Jörg Brauer, Uwe Schulze
      Pages 657-661
    4. Daniel Kästner, Laurent Mauborgne, Christian Ferdinand
      Pages 662-665
    5. Pavel Avgustinov, Kevin Backhouse, Man Yue Mo
      Pages 666-670
    6. Ernie Cohen
      Pages 671-674
    7. Nikolaj Bjørner
      Pages 675-678
    8. Tewodros A. Beyene, Harald Ruess
      Pages 679-685

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 Computer Science (R0)
  • 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
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment