Skip to main content
View expanded cover
  • Book
  • © 2010

Time for Verification

Essays in Memory of Amir Pnueli

Editors:

(view affiliations)
  • Zohar Manna,
  • Doron A. Peled

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)

Sections

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
Learn about institutional subscriptions

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

Table of contents (15 chapters)

  1. Front Matter

    PDF

  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

  14. Temporal Verification of Reactive Systems: Response

    • Zohar Manna, Amir Pnueli
    Pages 279-361

  15. The Arrow of Time through the Lens of Computing

    • Krishna V. Palem
    Pages 362-369

  16. What Is in a Step: New Perspectives on a Classical Question

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

  17. Back Matter

    PDF

Keywords

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

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

Back to top

Bibliographic Information

Back to top
Access via your institution
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
Learn about institutional subscriptions