Time for Verification

Essays in Memory of Amir Pnueli

  • Zohar Manna
  • Doron A. Peled

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

Table of contents

  1. Front Matter
  2. Howard Barringer, Dov M. Gabbay
    Pages 1-25
  3. Saddek Bensalem, Doron Peled, Joseph Sifakis
    Pages 26-41
  4. Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna
    Pages 42-60
  5. Edmund M. Clarke, Robert P. Kurshan, Helmut Veith
    Pages 61-71
  6. Patrick Cousot, Radhia Cousot, Laurent Mauborgne
    Pages 72-95
  7. Werner Damm, Henning Dierks, Jens Oehlerking, Amir Pnueli
    Pages 96-143
  8. Daniel Genkin, Nissim Francez, Michael Kaminski
    Pages 144-166
  9. Benny Godlin, Ofer Strichman
    Pages 167-184
  10. David Harel, Hillel Kugler
    Pages 185-194
  11. Tony Hoare, Natarajan Shankar
    Pages 195-201
  12. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
    Pages 202-259
  13. Zohar Manna, Amir Pnueli
    Pages 279-361
  14. Krishna V. Palem
    Pages 362-369
  15. Willem-Paul de Roever, Gerald Lüttgen, Michael Mendler
    Pages 370-399
  16. Back Matter

About this book

Keywords

Scheduling Turing Turing Award concurrent systems formal methods hybrid systems infinite-state systems logic programming theory reactive systems sequence charts temporal logic verification

Editors and affiliations

  • Zohar Manna
    • 1
  • Doron A. Peled
    • 2
  1. 1.Computer Science DepartmentStanford UniversityStanfordUSA
  2. 2.Department of Computer ScienceBar Ilan UniversityRamat GanIsrael

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-13754-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-13753-2
  • Online ISBN 978-3-642-13754-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book