Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Verification, Model Checking, and Abstract Interpretation
- 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
Engelsk Paperback
Verification, Model Checking, and Abstract Interpretation
- 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
Engelsk Paperback

478 kr
Tilføj til kurv
Sikker betaling
23 - 25 hverdage

Om denne bog
Invited Talks.- Analysis of Systems with Stochastic Process Creation.- Verifying Concurrent Programs with Chalice.- Static Timing Analysis for Hard Real-Time Systems.- Invited Tutorials.- Abstract Interpretation-Based Protection.- Advances in Probabilistic Model Checking.- Building a Calculus of Data Structures.- Regular Papers.- Temporal Reasoning for Procedural Programs.- Improved Model Checking of Hierarchical Systems.- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming.- Complexity Bounds for the Verification of Real-Time Software.- An Abstract Domain to Discover Interval Linear Equalities.- Interpolant Strength.- Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing.- Invariant and Type Inference for Matrices.- Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction.- Automatic Abstraction for Congruences.- Shape Analysis of Low-Level C with Overlapping Structures.- Abstract Threads.- Shape Analysis with Reference Set Relations.- Shape Analysis in the Absence of Pointers and Structure.- An Analysis of Permutations in Arrays.- Regular Linear Temporal Logic with Past.- Model-Checking In-Lined Reference Monitors.- Considerate Reasoning and the Composite Design Pattern.- RGSep Action Inference.- Best Probabilistic Transformers.- Collections, Cardinalities, and Relations.
Product detaljer
Sprog:
Engelsk
Sider:
397
ISBN-13:
9783642113185
Indbinding:
Paperback
Udgave:
ISBN-10:
3642113184
Udg. Dato:
8 jan 2010
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Oplagsdato:
8 jan 2010
Forfatter(e):
Kategori sammenhænge