عنوان

Verification, Model Checking, and Abstract Interpretation :

شابک

364235873X

شابک

9783642358739

شماره

b567739

عنوان اصلي

Verification, Model Checking, and Abstract Interpretation :

نام عام مواد

[Book]

ساير اطلاعات عنواني

14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

نام نخستين پديدآور

edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg : Imprint : Springer

تاریخ نشرو بخش و غیره

2013

نام خاص و کميت اثر

(XI, 556 p. 123 illustrations)

عنوان فروست

Lecture Notes in Computer Science, 7737.

متن يادداشت

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.

متن يادداشت

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

موضوع مستند نشده

Computer Communication Networks.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Software engineering.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.

مستند نام اشخاص تاييد نشده

Isabella Mastroeni

مستند نام اشخاص تاييد نشده

Josh Berdine

مستند نام اشخاص تاييد نشده

Roberto Giacobazzi

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y