Skip to main content
SpringerLink
Log in
Book cover

FM 2015: Formal Methods

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Nikolaj Bjørner

    1. Microsoft Research, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Frank de Boer

    1. Centrum voor Wiskunde en Informatica, Amsterdam, 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 9109)

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

Included in the following conference series:

Conference proceedings info: FM 2015.

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 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 (43 papers)

  1. Front Matter

    Pages 1-14
    Download chapter PDF

  2. Invited Presentations

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Resource Analysis: From Sequential to Concurrent and Distributed Programs

      • Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin et al.
      Pages 3-17

    3. AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned

      • Werner Damm
      Pages 18-19

  3. Main Track

    1. Front Matter

      Pages 21-21
      Download chapter PDF

    2. Automated Circular Assume-Guarantee Reasoning

      • Karam Abd Elkader, Orna Grumberg, Corina S. Păsăreanu, Sharon Shoham
      Pages 23-39

    3. Towards Formal Verification of Orchestration Computations Using the \({\mathbb K}\) Framework

      • Musab A. AlTurki, Omar Alzuhaibi
      Pages 40-56

    4. Narrowing Operators on Template Abstract Domains

      • Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari
      Pages 57-72

    5. Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification

      • Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson
      Pages 73-89

    6. Privacy by Design in Practice: Reasoning about Privacy Properties of Biometric System Architectures

      • Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer
      Pages 90-107

    7. A Specification Language for Static and Runtime Verification of Data and Control Properties

      • Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
      Pages 108-125

    8. Certificates for Parameterized Model Checking

      • Sylvain Conchon, Alain Mebsout, Fatiha Zaïdi
      Pages 126-142

    9. Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

      • Søren Debois, Thomas Hildebrandt, Tijs Slaats
      Pages 143-160

    10. Verifying Opacity of a Transactional Mutex Lock

      • John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim
      Pages 161-177

    11. A Framework for Correctness Criteria on Weak Memory Models

      • John Derrick, Graeme Smith
      Pages 178-194

    12. Semantics-Preserving Simplification of Real-World Firewall Rule Sets

      • Cornelius Diekmann, Lars Hupel, Georg Carle
      Pages 195-212

    13. Parameter Synthesis Through Temporal Logic Specifications

      • Thao Dang, Tommaso Dreossi, Carla Piazza
      Pages 213-230

    14. Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL

      • Xiaoning Du, Yang Liu, Alwen Tiu
      Pages 231-247

    15. Probabilistic Bisimulation for Realistic Schedulers

      • Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang
      Pages 248-264

    16. QPMC: A Model Checker for Quantum Programs and Protocols

      • Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang
      Pages 265-272
Back to top

Other volumes

  1. FM 2015: Formal Methods

Keywords

About this book

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.

Editors and Affiliations

  • Microsoft Research, Redmond, USA

    Nikolaj Bjørner

  • Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands

    Frank de Boer

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation