Skip to main content
  • Book
  • © 2010

Time for Verification

Essays in Memory of Amir Pnueli

Editors:

(view affiliations)

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Buying options

eBook
USD 99.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-13754-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout

This is a preview of subscription content, access via your institution.

Table of contents (15 chapters)

  1. Front Matter

  2. Modal and Temporal Argumentation Networks

    • Howard Barringer, Dov M. Gabbay
    Pages 1-25
  3. Knowledge Based Scheduling of Distributed Systems

    • Saddek Bensalem, Doron Peled, Joseph Sifakis
    Pages 26-41
  4. Quantitative Simulation Games

    • Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna
    Pages 42-60
  5. The Localization Reduction and Counterexample-Guided Abstraction Refinement

    • Edmund M. Clarke, Robert P. Kurshan, Helmut Veith
    Pages 61-71
  6. A Scalable Segmented Decision Tree Abstract Domain

    • Patrick Cousot, Radhia Cousot, Laurent Mauborgne
    Pages 72-95
  7. Towards Component Based Design of Hybrid Systems: Safety and Stability

    • Werner Damm, Henning Dierks, Jens Oehlerking, Amir Pnueli
    Pages 96-143
  8. Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars

    • Daniel Genkin, Nissim Francez, Michael Kaminski
    Pages 144-166
  9. Inference Rules for Proving the Equivalence of Recursive Procedures

    • Benny Godlin, Ofer Strichman
    Pages 167-184
  10. Some Thoughts on the Semantics of Biocharts

    • David Harel, Hillel Kugler
    Pages 185-194
  11. Unraveling a Card Trick

    • Tony Hoare, Natarajan Shankar
    Pages 195-201
  12. An Automata-Theoretic Approach to Infinite-State Systems

    • Orna Kupferman, Nir Piterman, Moshe Y. Vardi
    Pages 202-259
  13. Temporal Verification of Reactive Systems: Response

    • Zohar Manna, Amir Pnueli
    Pages 279-361
  14. The Arrow of Time through the Lens of Computing

    • Krishna V. Palem
    Pages 362-369
  15. What Is in a Step: New Perspectives on a Classical Question

    • Willem-Paul de Roever, Gerald Lüttgen, Michael Mendler
    Pages 370-399
  16. Back Matter

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

  • Computer Science Department, Stanford University, Stanford, USA

    Zohar Manna

  • Department of Computer Science, Bar Ilan University, Ramat Gan, Israel

    Doron A. Peled

Bibliographic Information

Buying options

eBook
USD 99.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-13754-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout