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
  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
  20. Leo Freitas, Iain Whiteside
    Pages 279-295
  21. Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang
    Pages 312-317
  22. Ian J. Hayes, Larissa Meinicke
    Pages 318-334
  23. K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor
    Pages 335-350
  24. Piotr Kordy, Rom Langerak, Sjouke Mauw, Jan Willem Polderman
    Pages 351-366
  25. Ivo Krka, Nicolás D’Ippolito, Nenad Medvidović, Sebastián Uchitel
    Pages 367-381
  26. K. Rustan M. Leino, Michał Moskal
    Pages 382-398
  27. Yi Li, Tian Huat Tan, Marsha Chechik
    Pages 399-415
  28. Yang Liu, Yi Xu, Shao Jie Zhang, Chengzheng Sun
    Pages 432-448
  29. Chris Marriott, Ana Cavalcanti
    Pages 465-480
  30. Stefan Mitsch, Jan-David Quesel, André Platzer
    Pages 481-496
  31. Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert
    Pages 497-513
  32. Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer
    Pages 514-530
  33. Pablo Ponzio, Nicolás Rosner, Nazareno Aguirre, Marcelo Frias
    Pages 531-546
  34. Jonas Rinast, Sibylle Schupp, Dieter Gollmann
    Pages 547-562
  35. Christoph Scheben, Peter H. Schmitt
    Pages 579-594
  36. Morteza Yousef Sanati, Wendy MacCaull, Thomas S. E. Maibaum
    Pages 611-626
  37. Frank Zeyda, Thiago Santos, Ana Cavalcanti, Augusto Sampaio
    Pages 627-642
  38. Maria Christakis, K. Rustan M. Leino, Wolfram Schulte
    Pages 643-657
  39. Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha
    Pages 658-672
  40. Aarti Gupta, M. V. Achutha KiranKumar, Rajnish Ghughal
    Pages 673-687
  41. Suman Roy, A. S. M. Sajeev, Srivibha Sripathy
    Pages 703-717
  42. Lijun Shan, Yuying Wang, Ning Fu, Xingshe Zhou, Lei Zhao, Lijng Wan et al.
    Pages 718-732
  43. Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu, Liang Zou, Yao Chen
    Pages 733-748

About these proceedings


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.


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
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-06409-3
  • Online ISBN 978-3-319-06410-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment