Verification, Model Checking, and Abstract Interpretation

13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

Editors:

ISBN: 978-3-642-27939-3 (Print) 978-3-642-27940-9 (Online)

Table of contents (29 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-22

    Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data

  3. No Access

    Book Chapter

    Pages 23-23

    Software Verification with Liquid Types

  4. No Access

    Book Chapter

    Pages 24-38

    Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs

  5. No Access

    Book Chapter

    Pages 39-55

    Whale : An Interpolation-Based Algorithm for Inter-procedural Verification

  6. No Access

    Book Chapter

    Pages 56-71

    Synchronizability for Verification of Asynchronously Communicating Systems

  7. No Access

    Book Chapter

    Pages 72-87

    On the Termination of Integer Loops

  8. No Access

    Book Chapter

    Pages 88-103

    Verification of Gap-Order Constraint Abstractions of Counter Systems

  9. No Access

    Book Chapter

    Pages 104-118

    On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking

  10. No Access

    Book Chapter

    Pages 119-135

    Regression Verification for Multi-threaded Programs

  11. No Access

    Book Chapter

    Pages 136-151

    Crowfoot: A Verifier for Higher-Order Store Programs

  12. No Access

    Book Chapter

    Pages 152-168

    Synthesizing Protocols for Digital Contract Signing

  13. No Access

    Book Chapter

    Pages 169-185

    Model Checking Information Flow in Reactive Systems

  14. No Access

    Book Chapter

    Pages 186-201

    Splitting via Interpolants

  15. No Access

    Book Chapter

    Pages 202-218

    Automatic Inference of Access Permissions

  16. No Access

    Book Chapter

    Pages 219-234

    Lazy Synthesis

  17. No Access

    Book Chapter

    Pages 235-250

    Donut Domains: Efficient Non-convex Domains for Abstract Interpretation

  18. No Access

    Book Chapter

    Pages 251-266

    Inferring Canonical Register Automata

  19. No Access

    Book Chapter

    Pages 267-282

    Alternating Control Flow Reconstruction

  20. No Access

    Book Chapter

    Pages 283-298

    Effective Synthesis of Asynchronous Systems from GR(1) Specifications

  21. No Access

    Book Chapter

    Pages 299-314

    Sound Non-statistical Clustering of Static Analysis Alarms

previous Page of 2