Advertisement

© 2014

FM 2014: Formal Methods

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

  • Cliff Jones
  • Pekka Pihlajasaari
  • Jun Sun
Conference proceedings FM 2014

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

Table of contents

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

About these proceedings

Introduction

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

  • Cliff Jones
    • 1
  • Pekka Pihlajasaari
    • 2
  • Jun Sun
    • 3
  1. 1.School of Computing ScienceNewcastle UniversityNewcastleUK
  2. 2.Data Abstraction (Pty) Ltd.JohannesburgSouth Africa
  3. 3.Information System Technology and DesignSingapore University of Technology and DesignSingapore

Bibliographic information