Skip to main content
SpringerLink
Log in
Book cover

FM 2014: Formal Methods

19th International Symposium, Singapore, May 12-16, 2014. Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Cliff Jones

    1. School of Computing Science, Newcastle University, Newcastle, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pekka Pihlajasaari

    1. Data Abstraction (Pty) Ltd., Johannesburg, South Africa

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jun Sun

    1. Information System Technology and Design, Singapore University of Technology and Design, Singapore

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

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

Included in the following conference series:

Conference proceedings info: FM 2014.

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

  1. Front Matter

    Download chapter PDF

  2. Validity Checking of Putback Transformations in Bidirectional Programming

    • Zhenjiang Hu, Hugo Pacheco, Sebastian Fischer
    Pages 1-15

  3. Proof Engineering Considered Essential

    • Gerwin Klein
    Pages 16-21

  4. Engineering UToPiA

    • Jim Woodcock
    Pages 22-41

  5. 40 Years of Formal Methods

    • Dines Bjørner, Klaus Havelund
    Pages 42-61

  6. A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes

    • Pedro Antonino, Augusto Sampaio, Jim Woodcock
    Pages 62-77

  7. Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools

    • Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
    Pages 78-93

  8. Definition, Semantics, and Analysis of Multirate Synchronous AADL

    • Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer
    Pages 94-109

  9. TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms

    • Guangdong Bai, Jianan Hao, Jianliang Wu, Yang Liu, Zhenkai Liang, Andrew Martin
    Pages 110-126

  10. The VerCors Tool for Verification of Concurrent Programs

    • Stefan Blom, Marieke Huisman
    Pages 127-131

  11. Knowledge-Based Automated Repair of Authentication Protocols

    • Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni
    Pages 132-147

  12. A Simplified Z Semantics for Presentation Interaction Models

    • Judy Bowen, Steve Reeves
    Pages 148-162

  13. Log Analysis for Data Protection Accountability

    • Denis Butin, Daniel Le Métayer
    Pages 163-178

  14. Automatic Compositional Synthesis of Distributed Systems

    • Werner Damm, Bernd Finkbeiner
    Pages 179-193

  15. Automated Real Proving in PVS via MetiTarski

    • William Denman, César Muñoz
    Pages 194-199

  16. Quiescent Consistency: Defining and Verifying Relaxed Linearizability

    • John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim
    Pages 200-214

  17. Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol

    • Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, César Muñoz
    Pages 215-229

  18. Contracts in Practice

    • H. -Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer
    Pages 230-246

  19. When Equivalence and Bisimulation Join Forces in Probabilistic Automata

    • Yuan Feng, Lijun Zhang
    Pages 247-262

  20. Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

    • VojtÄ›ch Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
    Pages 263-278
Back to top

Other volumes

  1. FM 2014: Formal Methods

Keywords

About this book

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

Editors and Affiliations

  • School of Computing Science, Newcastle University, Newcastle, UK

    Cliff Jones

  • Data Abstraction (Pty) Ltd., Johannesburg, South Africa

    Pekka Pihlajasaari

  • Information System Technology and Design, Singapore University of Technology and Design, Singapore

    Jun Sun

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation