© 2017

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

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