Store besparelser
Hurtig levering
Fri fragt over 499,-
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
Bogcover for Verification, Model Checking, and Abstract Interpretation af , 9783642113185
Specifikationer
Sprog:
Engelsk
Sider:
397
ISBN-13:
9783642113185
Indbinding:
Paperback
ISBN-10:
3642113184
Udg. Dato:
8 jan 2010
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
8 jan 2010

Verification, Model Checking, and Abstract Interpretation

- 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
Engelsk
Paperback 2010
Format:

Bog beskrivelse
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.
... Vis mere

Forlags Vejl. pris
419,37 kr
Hos Booktok
409 kr
spar 2%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
397
ISBN-13:
9783642113185
Indbinding:
Paperback
ISBN-10:
3642113184
Udg. Dato:
8 jan 2010
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
8 jan 2010
Finder produkter...
Kategori sammenhænge