FM 2014: Formal Methods

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

  • Cliff Jones
  • Pekka Pihlajasaari
  • Jun Sun
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8442)

Table of contents

  1. Front Matter
  2. Zhenjiang Hu, Hugo Pacheco, Sebastian Fischer
    Pages 1-15
  3. Gerwin Klein
    Pages 16-21
  4. Jim Woodcock
    Pages 22-41
  5. Dines Bjørner, Klaus Havelund
    Pages 42-61
  6. Pedro Antonino, Augusto Sampaio, Jim Woodcock
    Pages 62-77
  7. Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
    Pages 78-93
  8. Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer
    Pages 94-109
  9. Guangdong Bai, Jianan Hao, Jianliang Wu, Yang Liu, Zhenkai Liang, Andrew Martin
    Pages 110-126
  10. Stefan Blom, Marieke Huisman
    Pages 127-131
  11. Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni
    Pages 132-147
  12. Judy Bowen, Steve Reeves
    Pages 148-162
  13. Denis Butin, Daniel Le Métayer
    Pages 163-178
  14. Werner Damm, Bernd Finkbeiner
    Pages 179-193
  15. William Denman, César Muñoz
    Pages 194-199
  16. John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim
    Pages 200-214
  17. Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, César Muñoz
    Pages 215-229
  18. H. -Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer
    Pages 230-246
  19. 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

  • DOI https://doi.org/10.1007/978-3-319-06410-9
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-06409-3
  • Online ISBN 978-3-319-06410-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349