Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

  • Nadia Polikarpova
  • Steve Schneider
Conference proceedings IFM 2017

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

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

Table of contents

  1. Front Matter
    Pages I-XXI
  2. Cyber-Physical Systems

    1. Front Matter
      Pages 1-1
    2. Simone Silvetti, Alberto Policriti, Luca Bortolussi
      Pages 3-17
    3. Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis
      Pages 18-33
    4. Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff et al.
      Pages 50-66
  3. Software Verification Tools

    1. Front Matter
      Pages 67-67
    2. Mark Utting, David J. Pearce, Lindsay Groves
      Pages 69-84
    3. Florian Frohn, Jürgen Giesl
      Pages 85-101
    4. Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn
      Pages 102-110
    5. Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer
      Pages 111-126
  4. Safety-Critical Systems

    1. Front Matter
      Pages 127-127
    2. Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
      Pages 129-144
    3. Stephen Gilmore, Daniël Reijsbergen, Andrea Vandin
      Pages 145-160
    4. James Baxter, Ana Cavalcanti
      Pages 161-176
    5. Andrii Kovalov, Elisabeth Lobe, Andreas Gerndt, Daniel Lüdtke
      Pages 177-191
  5. Concurrency and Distributed Systems

    1. Front Matter
      Pages 193-193
    2. Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea
      Pages 195-210
    3. Dalay Israel de Almeida Pereira, Marcel Vinicius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva
      Pages 211-226
    4. Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas
      Pages 227-242
    5. Wei Ji, Farn Wang, Peng Wu
      Pages 243-259
  6. Program Verification Techniques

    1. Front Matter
      Pages 261-261
    2. Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi
      Pages 263-278
    3. YuTing Chen, Carlo A. Furia
      Pages 295-311
    4. Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
      Pages 312-319
  7. Formal Modeling

    1. Front Matter
      Pages 321-321
    2. Ajay Krishna, Pascal Poizat, Gwen Salaün
      Pages 323-331
    3. Barbara Kordy, Wojciech Wideł
      Pages 332-347
    4. Fahrurrozi Rahman, Juliana Küster Filipe Bowles
      Pages 357-371
  8. Verified Software

    1. Front Matter
      Pages 373-373
    2. Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif
      Pages 375-390
    3. Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani
      Pages 391-406
    4. João F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke
      Pages 407-421
    5. Murat Moran, Dan S. Wallach
      Pages 422-436
  9. Back Matter
    Pages 437-438

About these proceedings


This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.

The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..


artificial intelligence computer software selection and evaluation data security formal logic formal methods formal verifications java model checking network security problem solving program compilers programming languages robotics robots satisfiability semantics software engineering specifications theorem proving verification

Editors and affiliations

  1. 1.Massachusetts Institute of TechnologyCambridgeUSA
  2. 2.University of SurreyGuildfordUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-66844-4
  • Online ISBN 978-3-319-66845-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site