Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2014

FM 2014: Formal Methods

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

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)

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

Conference proceedings info: FM 2014.

Sections

Buy it now

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

    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

  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

Back to top

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.
Back to top

Keywords

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

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

Back to top

Bibliographic Information

Back to top
Access via your institution

Buy it now

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

search

Navigation