Skip to main content
SpringerLink
Log in

Integrated Formal Methods

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

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Nadia Polikarpova

    1. Massachusetts Institute of Technology, Cambridge, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Steve Schneider

    1. University of Surrey, Guildford, United Kingdom

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: IFM 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Front Matter

    Pages I-XXI
    Download chapter PDF

  2. Cyber-Physical Systems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems

      • Simone Silvetti, Alberto Policriti, Luca Bortolussi
      Pages 3-17

    3. Modelling and Verification of Timed Robotic Controllers

      • Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis
      Pages 18-33

    4. Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL

      • Sven Linker
      Pages 34-49

    5. Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL

      • 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
      Download chapter PDF

    2. Making Whiley Boogie!

      • Mark Utting, David J. Pearce, Lindsay Groves
      Pages 69-84

    3. Complexity Analysis for Java with AProVE

      • Florian Frohn, Jürgen Giesl
      Pages 85-101

    4. The VerCors Tool Set: Verification of Parallel and Concurrent Software

      • Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn
      Pages 102-110

    5. An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs

      • Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer
      Pages 111-126

  4. Safety-Critical Systems

    1. Front Matter

      Pages 127-127
      Download chapter PDF

    2. Generalised Test Tables: A Practical Specification Language for Reactive Systems

      • Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
      Pages 129-144

    3. Transient and Steady-State Statistical Analysis for Discrete Event Simulators

      • Stephen Gilmore, Daniël Reijsbergen, Andrea Vandin
      Pages 145-160

    4. Algebraic Compilation of Safety-Critical Java Bytecode

      • James Baxter, Ana Cavalcanti
      Pages 161-176

    5. Task-Node Mapping in an Arbitrary Computer Network Using SMT Solver

      • Andrii Kovalov, Elisabeth Lobe, Andreas Gerndt, Daniel Lüdtke
      Pages 177-191

  5. Concurrency and Distributed Systems

    1. Front Matter

      Pages 193-193
      Download chapter PDF

    2. Analysis of Synchronisations in Stateful Active Objects

      • Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea
      Pages 195-210

    3. BTS: A Tool for Formal Component-Based Development

      • Dalay Israel de Almeida Pereira, Marcel Vinicius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva
      Pages 211-226

    4. Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking

      • Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas
      Pages 227-242
Back to top

Other volumes

  1. Integrated Formal Methods

Keywords

About this book

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

Editors and Affiliations

  • Massachusetts Institute of Technology, Cambridge, USA

    Nadia Polikarpova

  • University of Surrey, Guildford, United Kingdom

    Steve Schneider

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation