Formal Methods for Multicore Programming

15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

  • Marco Bernardo
  • Einar Broch Johnsen
Textbook SFM 2015

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

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

Table of contents

  1. Front Matter
    Pages I-VII
  2. Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I. Pun et al.
    Pages 1-56
  3. Farhad Arbab, Sung-Shik T. Q. Jongmans
    Pages 57-96
  4. Jade Alglave
    Pages 97-145
  5. Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida
    Pages 146-178
  6. Elias Castegren, Johan Östlund, Tobias Wrigstad
    Pages 179-210
  7. Back Matter
    Pages 211-211

About this book


This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems.


communication protocols concurrent system executable software models formal methods model checking modeling non-determinism randomized algorithms runtime assessment runtime testing software engineering software verification test generation theory of computation variability models

Editors and affiliations

  • Marco Bernardo
    • 1
  • Einar Broch Johnsen
    • 2
  1. 1.Università di Urbino "Carlo Bo"UrbinoItaly
  2. 2.University of OsloOsloNorway

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-18940-6
  • Online ISBN 978-3-319-18941-3
  • 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