FM 2015: Formal Methods

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

  • Nikolaj Bjørner
  • Frank de Boer

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

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