Byron Cook, Andreas Podelski
Proceedings of the Eighth International Conference on Verification, Model Checking and Abstract Interpretation
VMCAI, 2007.

@proceedings{VMCAI-2007,
	address       = "Nice, France",
	editor        = "Byron Cook and Andreas Podelski",
	isbn          = "978-3-540-69735-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Eighth International Conference on Verification, Model Checking and Abstract Interpretation}",
	volume        = 4349,
	year          = 2007,
}

Contents (27 items)

8 ×#verification
6 ×#analysis
4 ×#model checking
4 ×#source code
3 ×#constraints
2 ×#abstraction
2 ×#data type
2 ×#invariant
2 ×#named
2 ×#theorem proving

VMCAI-2007-BalakrishnanR #bytecode #named

DIVINE: DIscovering Variables IN Executables (GB, TWR), pp. 1–28.

VMCAI-2007-EmmiM #transaction #verification

Verifying Compensating Transactions (ME, RM), pp. 29–43.

VMCAI-2007-Siegel #model checking #source code

Model Checking Nonblocking MPI Programs (SFS), pp. 44–58.

VMCAI-2007-MightCS #model checking

Model Checking Via GammaCFA (MM, BC, OS), pp. 59–73.

VMCAI-2007-BouillaguetKWZR #data type #first-order #proving #theorem proving #using #verification

Using First-Order Theorem Provers in the Jahob Data Structure Verification System (CB, VK, TW, KZ, MCR), pp. 74–88.

VMCAI-2007-McMillan #model checking

Interpolants and Symbolic Model Checking (KLM), pp. 89–90.

VMCAI-2007-BalabanPZ #analysis

Shape Analysis of Single-Parent Heaps (IB, AP, LDZ), pp. 91–105.

VMCAI-2007-RakamaricBH #data type #source code #verification

An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (ZR, JDB, AJH), pp. 106–121.

VMCAI-2007-BozgaI #on the #source code

On Flat Programs with Lists (MB, RI), pp. 122–136.

VMCAI-2007-Vardi #formal method #model checking #revisited

Automata-Theoretic Model Checking Revisited (MYV), pp. 137–150.

VMCAI-2007-KlaedtkeRS #abstraction #hybrid #refinement #verification

Language-Based Abstraction Refinement for Hybrid System Verification (FK, SR, ZS), pp. 151–166.

VMCAI-2007-FecherH #abstraction #precise

More Precise Partition Abstractions (HF, MH), pp. 167–181.

VMCAI-2007-WachterW #principle

The Spotlight Principle (BW, BW), pp. 182–198.

VMCAI-2007-KupfermanL #automaton

Lattice Automata (OK, YL), pp. 199–213.

VMCAI-2007-Madhusudan #algorithm #learning #verification

Learning Algorithms and Formal Verification (PM), p. 214.

VMCAI-2007-Lev-AmiSIR #analysis

Constructing Specialized Shape Analyses for Uniform Change (TLA, MS, NI, TWR), pp. 215–233.

VMCAI-2007-CheremR #analysis #invariant #maintenance #reasoning

Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning (SC, RR), pp. 234–250.

VMCAI-2007-NguyenDQC #automation #logic #verification

Automated Verification of Shape and Size Properties Via Separation Logic (HHN, CD, SQ, WNC), pp. 251–266.

VMCAI-2007-Yang #analysis #towards

Towards Shape Analysis for Device Drivers (HY), p. 267.

VMCAI-2007-PeronH #abstract domain #bound #constraints #matrix

An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints (MP, NH), pp. 268–282.

VMCAI-2007-Logozzo #abstract interpretation #analysis #composition #java #named #verification

Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes (FL), pp. 283–298.

VMCAI-2007-Namjoshi #analysis #symmetry

Symmetry and Completeness in the Analysis of Parameterized Systems (KSN), pp. 299–313.

VMCAI-2007-BallK #approximate #source code

Better Under-Approximation of Programs by Hiding Variables (TB, OK), pp. 314–328.

VMCAI-2007-Revesz #approach #constraints #database #verification

The Constraint Database Approach to Software Verification (PZR), pp. 329–345.

VMCAI-2007-RybalchenkoS #constraints #theorem proving

Constraint Solving for Interpolation (AR, VSS), pp. 346–362.

VMCAI-2007-GulwaniT

Assertion Checking Unified (SG, AT), pp. 363–377.

VMCAI-2007-BeyerHMR #invariant #synthesis

Invariant Synthesis for Combined Theories (DB, TAH, RM, AR), pp. 378–394.