Skip to main content
SpringerLink
Log in

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Erika Ábrahám

    1. RWTH Aachen University, Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marieke Huisman

    1. University of Twente, Enschede, The Netherlands

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

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

Included in the following conference series:

Conference proceedings info: IFM 2016.

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 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 89.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 (33 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Invited Contributions

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Can Formal Methods Improve the Efficiency of Code Reviews?

      • Martin Hentschel, Reiner Hähnle, Richard Bubel
      Pages 3-19

    3. Symbolic Computation and Automated Reasoning for Program Analysis

      • Laura Kovács
      Pages 20-27

    4. Perspectives of Model Transformation Reuse

      • Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strüber
      Pages 28-44

  3. Program Verification

    1. Front Matter

      Pages 45-45
      Download chapter PDF

    2. On Type Checking Delta-Oriented Product Lines

      • Ferruccio Damiani, Michael Lienhardt
      Pages 47-62

    3. Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment

      • Leo Freitas, James Baxter, Ana Cavalcanti, Andy Wellings
      Pages 63-78Open Access

    4. Why Just Boogie?

      • Michael Ameri, Carlo A. Furia
      Pages 79-95

  4. Probabilistic Systems

    1. Front Matter

      Pages 97-97
      Download chapter PDF

    2. Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata

      • Pedro R. D’Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards
      Pages 99-114

    3. Probabilistic Formal Analysis of App Usage to Inform Redesign

      • Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost
      Pages 115-129

    4. Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC

      • Ľuboš Korenčiak, Vojtěch Řehák, Adrian Farmadin
      Pages 130-138

  5. Concurrency

    1. Front Matter

      Pages 139-139
      Download chapter PDF

    2. Monitoring Multi-threaded Component-Based Systems

      • Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz
      Pages 141-159

    3. A Generalised Theory of Interface Automata, Component Compatibility and Error

      • Sascha Fendrich, Gerald Lüttgen
      Pages 160-175

    4. On Implementing a Monitor-Oriented Programming Framework for Actor Systems

      • Ian Cassar, Adrian Francalanza
      Pages 176-192

    5. Towards a Thread-Local Proof Technique for Starvation Freedom

      • Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim
      Pages 193-209

    6. Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems

      • Olaf Owe
      Pages 210-225

    7. A Formal Model of the Safety-Critical Java Level 2 Paradigm

      • Matt Luckcuck, Ana Cavalcanti, Andy Wellings
      Pages 226-241
Back to top

Other volumes

  1. Integrated Formal Methods

Keywords

About this book

This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.
The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and liveness; model learning; SAT and SMT solving; testing; theorem proving and constraint satisfaction; case studies. 

Editors and Affiliations

  • RWTH Aachen University, Aachen, Germany

    Erika Ábrahám

  • University of Twente, Enschede, The Netherlands

    Marieke Huisman

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation