FM 2015: Formal Methods

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

  • Nikolaj Bjørner
  • Frank de Boer
Conference proceedings FM 2015

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9109)

Table of contents

  1. Front Matter
    Pages 1-14
  2. Invited Presentations

    1. Front Matter
      Pages 1-1
    2. Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin et al.
      Pages 3-17
  3. Main Track

    1. Front Matter
      Pages 21-21
    2. Karam Abd Elkader, Orna Grumberg, Corina S. Păsăreanu, Sharon Shoham
      Pages 23-39
    3. Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari
      Pages 57-72
    4. Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson
      Pages 73-89
    5. Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer
      Pages 90-107
    6. Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
      Pages 108-125
    7. Sylvain Conchon, Alain Mebsout, Fatiha Zaïdi
      Pages 126-142
    8. John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim
      Pages 161-177
    9. John Derrick, Graeme Smith
      Pages 178-194
    10. Cornelius Diekmann, Lars Hupel, Georg Carle
      Pages 195-212
    11. Thao Dang, Tommaso Dreossi, Carla Piazza
      Pages 213-230
    12. Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang
      Pages 248-264
    13. Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang
      Pages 265-272
    14. Matthew Fernandez, June Andronick, Gerwin Klein, Ihor Kuz
      Pages 273-290
    15. Saurabh Joshi, Daniel Kroening
      Pages 291-307
    16. Guillaume Brat, David Bushnell, Misty Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
      Pages 308-324
    17. Daniel Kroening, Matt Lewis, Georg Weissenbacher
      Pages 325-341
    18. Li Li, Jun Sun, Yang Liu, Jin Song Dong
      Pages 342-359
    19. Jiang Liu, Naijun Zhan, Hengjun Zhao, Liang Zou
      Pages 360-377
    20. Tim Nelson, Andrew D. Ferguson, Shriram Krishnamurthi
      Pages 395-413
    21. Nadia Polikarpova, Julian Tschannen, Carlo A. Furia
      Pages 414-434
    22. Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen et al.
      Pages 435-452
    23. Aliakbar Safilian, Tom Maibaum, Zinovy Diskin
      Pages 453-469
    24. Peter H. Schmitt, Mattias Ulbrich
      Pages 470-486
    25. David Schneider, Michael Leuschel, Tobias Witt
      Pages 487-495
    26. Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin
      Pages 496-513
    27. Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamarić, Ganesh Gopalakrishnan
      Pages 532-550
    28. Xue-Yang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang, Guangquan Zhang
      Pages 551-569
  4. Industry Track

    1. Front Matter
      Pages 571-571
    2. Bharti Chimdyalwar, Priyanka Darke, Anooj Chavda, Sagar Vaghani, Avriti Chauhan
      Pages 573-576
    3. Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley
      Pages 585-588
    4. Bruno Miranda, Henrique Masini, Rodrigo Reis
      Pages 601-604
    5. Mathijs Schuts, Jozef Hooman
      Pages 605-608
  5. Back Matter
    Pages 609-610

About these proceedings


This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.


Algorithms Automata Biological systems Computer networks Concurrency Constraint programming Expert system Formal verification Global optimization Hybrid system Model checking Petri nets Recovery Safety critical system Scheduling Semantics Software development Software verification Theorem proving algorithms Trusted systems

Editors and affiliations

  • Nikolaj Bjørner
    • 1
  • Frank de Boer
    • 2
  1. 1.Microsoft ResearchRedmondUSA
  2. 2.Centrum voor Wiskunde en InformaticaAmsterdamThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-19248-2
  • Online ISBN 978-3-319-19249-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