Skip to main content
  • Conference proceedings
  • © 2014

FM 2014: Formal Methods

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

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8442)

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

Conference series link(s): FM: International Symposium on Formal Methods

Conference proceedings info: FM 2014.

Buy it now

Buying options

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

This is a preview of subscription content, access via your institution.

Table of contents (49 papers)

  1. Front Matter

  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. Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

    • Vojtěch Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
    Pages 263-278

Other Volumes

  1. FM 2014: Formal Methods

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.

Keywords

  • algorithms
  • automata
  • error handling and recovery
  • formal methods
  • formal verification
  • model checking
  • petri nets
  • software development
  • software verification
  • theorem proving algorithms

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

Buy it now

Buying options

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