Theoretical Computer Science and General Issues

Time for Verification

Essays in Memory of Amir Pnueli

Editors: Manna, Zohar, Peled, Doron (Eds.)

  • Contains 15 scientific articles written by leading scientists
  • Coverage spans the entire breadth of the scientific work of Amir Pnueli, with a focus on the development and the application of formal methods
  • Includes the first chapter of the unpublished Volume III of Zohar Manna and Amir Pnueli’s work on the verification of reactive systems using temporal logic techniques
see more benefits

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-642-13754-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-642-13753-2
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.

Table of contents (15 chapters)

  • Modal and Temporal Argumentation Networks

    Barringer, Howard (et al.)

    Pages 1-25

  • Knowledge Based Scheduling of Distributed Systems

    Bensalem, Saddek (et al.)

    Pages 26-41

  • Quantitative Simulation Games

    Černý, Pavol (et al.)

    Pages 42-60

  • The Localization Reduction and Counterexample-Guided Abstraction Refinement

    Clarke, Edmund M. (et al.)

    Pages 61-71

  • A Scalable Segmented Decision Tree Abstract Domain

    Cousot, Patrick (et al.)

    Pages 72-95

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-642-13754-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-642-13753-2
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Time for Verification
Book Subtitle
Essays in Memory of Amir Pnueli
Editors
  • Zohar Manna
  • Doron Peled
Series Title
Theoretical Computer Science and General Issues
Series Volume
6200
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-13754-9
DOI
10.1007/978-3-642-13754-9
Softcover ISBN
978-3-642-13753-2
Edition Number
1
Number of Pages
VIII, 413
Number of Illustrations and Tables
113 b/w illustrations
Topics