Theory and Practice of Formal Methods

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

  • Erika Ábrahám
  • Marcello Bonsangue
  • Einar Broch Johnsen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9660)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Personal Notes

    1. Front Matter
      Pages 1-1
    2. Krzysztof R. Apt
      Pages 3-5
    3. Prakash Panangaden
      Pages 6-8
    4. Willem-Paul de Roever
      Pages 9-11
  3. Scientific Contributions

    1. Front Matter
      Pages 13-13
    2. Bernhard K. Aichernig, Florian Lorber, Martin Tappler
      Pages 15-32
    3. Elvira Albert, Jesús Correas, Guillermo Román-Díez
      Pages 33-46
    4. Davide Ancona, Angelo Ferrando, Viviana Mascardi
      Pages 47-64
    5. Farhad Arbab
      Pages 65-87
    6. Lăcrămioara Aştefănoaei, Saddek Bensalem, Marius Bozga
      Pages 88-103
    7. Reiner Hähnle, Nathan Wasser, Richard Bubel
      Pages 104-121
    8. Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz
      Pages 122-139
    9. Dave Clarke, Tobias Wrigstad
      Pages 140-154
    10. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Nobuko Yoshida
      Pages 155-172
    11. Björn Engelmann, Ernst-Rüdiger Olderog
      Pages 173-193
    12. Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
      Pages 194-210
    13. Elena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht
      Pages 211-225
    14. Stijn de Gouw, Jurriaan Rot
      Pages 226-241
    15. L. P. J. Groenewegen, R. Kuiper, E. P. de Vink
      Pages 242-260

About this book

Introduction

This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday.
Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems, soundness, and completeness; semantics, compositionality, and full abstraction; process algebra and decidability; multithreading and actor-based concurrency; agent programming, ontologies, and modal logic; real-time systems, timed automata, and schedulability; enterprise architectures, choreography, and coordination; testing and runtime monitoring; and cloud computing and service-level agreements. For a while, he also liked failures, especially in semantics, and optimistically concluded with the failure of failures. In fact, Frank has an opportunistic approach to research. Rather than seeing obstacles, he finds opportunities.

Keywords

abstract interpretation algorithms axiomatic semantics program transformation and verification runtime verification actor model array abstraction automated verification completeness for total correctness dynamic typing loop invariant generation microservices multiple notions of correctness pure object-orientation quicksort reduction technique relative completeness service-oriented architecture soundness tagged hoare logic

Editors and affiliations

  • Erika Ábrahám
    • 1
  • Marcello Bonsangue
    • 2
  • Einar Broch Johnsen
    • 3
  1. 1.Informatik 2RWTH Aachen University Informatik 2AachenGermany
  2. 2.Leiden University LeidenThe Netherlands
  3. 3.University of Oslo OsloNorway

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-30734-3
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-30733-6
  • Online ISBN 978-3-319-30734-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book