Verification: Theory and Practice

Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

  • Nachum Dershowitz

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

Table of contents

  1. Front Matter
    Pages I-XV
  2. Frontispiece: Zohar Manna

    1. Nachum Dershowitz
      Pages 1-10
  3. Technical Papers

    1. Martín Abadi, K. Rustan M. Leino
      Pages 11-41
    2. Saddek Bensalem, Susanne Graf, Yassine Lakhnech
      Pages 67-99
    3. Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz, Pietro Ursino
      Pages 182-207
    4. Edmund Clarke, Helmut Veith
      Pages 208-224
    5. Hubert Comon-Lundh, Ralf Treinen
      Pages 225-242
    6. Patrick Cousot
      Pages 243-268
    7. Luca de Alfaro
      Pages 269-289
    8. Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen
      Pages 290-303
    9. Nachum Dershowitz, D. N. Jayasimha, Seungjoon Park
      Pages 304-317
    10. Alfredo Ferro, Rosalba Giugno, Alfredo Pulvirenti
      Pages 318-331
    11. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido
      Pages 332-358
    12. Gérard Huet
      Pages 359-372
    13. Shmuel Katz, Marcelo Sihman
      Pages 373-394
    14. Vijay Chandru, Jean-Louis Lassez
      Pages 395-406
    15. Rocco De Nicola, Gianluigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
      Pages 436-479
    16. Elsa Gunter, Doron Peled
      Pages 548-567
    17. Dusko Pavlovic, Peter Pepper, Doug Smith
      Pages 568-597
    18. Amir Pnueli, Tamarah Arons
      Pages 598-625
    19. Enrico Marzano, Angelo Montanari, Alberto Policriti
      Pages 626-644
    20. John H. Reif, William L. Scherlis
      Pages 645-681
    21. Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
      Pages 682-701
    22. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
      Pages 702-732
    23. Jean Vuillemin
      Pages 733-746
    24. Richard Waldinger, Peter Jarvis, Jennifer Dungan
      Pages 747-761
    25. Calogero G. Zarba
      Pages 762-782
  4. Back Matter
    Pages 783-786

About this book


This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor.

The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis.


Requirements Engineering Software Engineering algorithms automated deduction computer science logic concurrent systems distributed systems logic logics of programming programming theory reactive systems testing theoretical computer science theory of computing verification

Editors and affiliations

  • Nachum Dershowitz
    • 1
  1. 1.School of Computer ScienceTel Aviv UniversityRamat Aviv, Tel AvivIsrael

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-21002-3
  • Online ISBN 978-3-540-39910-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site