Verwandte Artikel zu Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings - Softcover

 
9783642358746: Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
Softcover
ISBN 10: 3642358748 ISBN 13: 9783642358746
Verlag: Springer, 2013

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

A Model-Constructing Satisfiability Calculus.- Automata as Proofs.- Complete Abstractions Everywhere.- Abstraction-Guided Synthesis.- SMT-Based Bisimulation Minimisation of Markov Models.- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems.- Quantifying Information Leakage of Randomized Protocols.- Reductions for Synthesis Procedures.- Towards Efficient Parameterized Synthesis.- Automatic Inference of Necessary Preconditions.- Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools.- SMT-Based Array Invariant Generation.- Flow-Sensitive Fault Localization.- Static Analysis of String Encoders and Decoders.- Robustness Analysis of Networked Systems.- Causality Checking for Complex System Models.- ClabureDB: Classified Bug-Reports Database: Tool for Developers of Program Analysis Tools.- Tool Integration with the Evidential Tool Bus.- Compositional and Lightweight Dependent Type Inference for ML.- Abstract Read Permissions: Fractional Permissions without the Fractions.- Sound and Complete Flow Typing with Unions, Intersections and Negations.- Knockout Prediction for Reaction Networks with Partial Kinetic Information.- Reduced Product Combination of Abstract Domains for Shapes.- Abstraction of Syntax.- Logico-Numerical Max-Strategy Iteration.- A Constraint Solver Based on Abstract Domains.- An Abstract Interpretation of DPLL(T).- All for the Price of Few: (Parameterized Verification through View Abstraction).- Uncovering Symmetries in Irregular Process Networks.- State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction.- Compositional Sequentialization of Periodic Programs.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer
  • Erscheinungsdatum2013
  • ISBN 10 3642358748
  • ISBN 13 9783642358746
  • EinbandPaperback
  • SpracheEnglisch
  • Kontakt zum HerstellerNicht verfügbar

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

9783642358722: Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings: ... Computer Science and General Issues)

Vorgestellte Ausgabe

ISBN 10:  3642358721 ISBN 13:  9783642358722
Verlag: Springer, 2013
Softcover