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

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
  • About this book
Industry Sectors
Energy, Utilities & Environment