Proceedings of the Eighth International Conference on Verification, Model Checking and Abstract Interpretation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TEST
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.