Verification, Model Checking, and Abstract Interpretation

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

Editors:

ISBN: 978-3-642-35872-2 (Print) 978-3-642-35873-9 (Online)

Table of contents (31 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Talks

    1. No Access

      Book Chapter

      Pages 1-12

      A Model-Constructing Satisfiability Calculus

    2. No Access

      Book Chapter

      Pages 13-14

      Automata as Proofs

    3. No Access

      Book Chapter

      Pages 15-26

      Complete Abstractions Everywhere

    4. No Access

      Book Chapter

      Pages 27-27

      Abstraction-Guided Synthesis

  3. Session 1: Analysis of Systems with Continuous Behavior

    1. No Access

      Book Chapter

      Pages 28-47

      SMT-Based Bisimulation Minimisation of Markov Models

    2. No Access

      Book Chapter

      Pages 48-67

      Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems

    3. No Access

      Book Chapter

      Pages 68-87

      Quantifying Information Leakage of Randomized Protocols

  4. Session 2: Synthesis

    1. No Access

      Book Chapter

      Pages 88-107

      Reductions for Synthesis Procedures

    2. No Access

      Book Chapter

      Pages 108-127

      Towards Efficient Parameterized Synthesis

  5. Session 3: Analysis Algorithms and Theorem Proving Techniques for Program Analysis

    1. No Access

      Book Chapter

      Pages 128-148

      Automatic Inference of Necessary Preconditions

    2. No Access

      Book Chapter

      Pages 149-168

      Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools

    3. No Access

      Book Chapter

      Pages 169-188

      SMT-Based Array Invariant Generation

    4. No Access

      Book Chapter

      Pages 189-208

      Flow-Sensitive Fault Localization

  6. Session 4: Automata-Based Techniques

    1. No Access

      Book Chapter

      Pages 209-228

      Static Analysis of String Encoders and Decoders

    2. No Access

      Book Chapter

      Pages 229-247

      Robustness Analysis of Networked Systems

    3. No Access

      Book Chapter

      Pages 248-267

      Causality Checking for Complex System Models

  7. Session 5: Tools

    1. No Access

      Book Chapter

      Pages 268-274

      ClabureDB: Classified Bug-Reports Database

    2. No Access

      Book Chapter

      Pages 275-294

      Tool Integration with the Evidential Tool Bus

  8. Session 6: Types and Proof Methodologies

    1. No Access

      Book Chapter

      Pages 295-314

      Compositional and Lightweight Dependent Type Inference for ML

    2. No Access

      Book Chapter

      Pages 315-334

      Abstract Read Permissions: Fractional Permissions without the Fractions

previous Page of 2