Loading…

Time for Verification Essays in Memory of Amir Pnueli /

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Manna, Zohar (Editor), Peled, Doron A. (Editor)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Series:Theoretical Computer Science and General Issues, 6200
Subjects:
Online Access:Texto Completo
Table of Contents:
  • Modal and Temporal Argumentation Networks
  • Knowledge Based Scheduling of Distributed Systems
  • Quantitative Simulation Games
  • The Localization Reduction and Counterexample-Guided Abstraction Refinement
  • A Scalable Segmented Decision Tree Abstract Domain
  • Towards Component Based Design of Hybrid Systems: Safety and Stability
  • Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars
  • Inference Rules for Proving the Equivalence of Recursive Procedures
  • Some Thoughts on the Semantics of Biocharts
  • Unraveling a Card Trick
  • An Automata-Theoretic Approach to Infinite-State Systems
  • On the Krohn-Rhodes Cascaded Decomposition Theorem
  • Temporal Verification of Reactive Systems: Response
  • The Arrow of Time through the Lens of Computing
  • What Is in a Step: New Perspectives on a Classical Question.