Time for Verification Essays in Memory of Amir Pnueli /
Call Number: | Libro Electrónico |
---|---|
Corporate Author: | |
Other Authors: | , |
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.