Proceedings of the 17th 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

Barbara Jobstmann, K. Rustan M. Leino
Proceedings of the 17th International Conference on Verification, Model Checking and Abstract Interpretation
VMCAI, 2016.

TEST
DBLP
Scholar
?EE?
DOI
Full names Links ISxN
@proceedings{VMCAI-2016,
	doi           = "10.1007/978-3-662-49122-5",
	editor        = "Barbara Jobstmann and K. Rustan M. Leino",
	ee            = "https://www.wikidata.org/entity/Q57664983",
	isbn          = "978-3-662-49121-8",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 17th International Conference on Verification, Model Checking and Abstract Interpretation}",
	volume        = 9583,
	year          = 2016,
}

Contents (26 items)

VMCAI-2016-RepsT #abstract interpretation #automation
Automating Abstract Interpretation (TWR, AVT), pp. 3–40.
VMCAI-2016-0001SS #framework #named #reasoning #verification
Viper: A Verification Infrastructure for Permission-Based Reasoning (PM0, MS, AJS), pp. 41–62.
VMCAI-2016-BakstJ #abstraction #data type #linked data #open data
Predicate Abstraction for Linked Data Structures (AB, RJ), pp. 65–84.
VMCAI-2016-GangeNSSS #abstract domain
An Abstract Domain of Uninterpreted Functions (GG, JAN, PS, HS, PJS), pp. 85–103.
VMCAI-2016-RinetzkyS #abstract interpretation
Property Directed Abstract Interpretation (NR, SS), pp. 104–123.
VMCAI-2016-KarpenkovMW #policy #program analysis
Program Analysis with Local Policy Iteration (EGK, DM, PW), pp. 127–146.
VMCAI-2016-GanjeiREP #abstraction #lazy evaluation
Lazy Constrained Monotonic Abstraction (ZG, AR, PE, ZP), pp. 147–165.
VMCAI-2016-MarechalFKMP #approximate #multi #theorem #using
Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem (AM, AF, TK0, DM, MP), pp. 166–184.
VMCAI-2016-PelegSY #abstraction #data-driven
D^3 : Data-Driven Disjunctive Abstraction (HP, SS, EY), pp. 185–205.
VMCAI-2016-HilleryMRP #execution #summary #symbolic computation
Exact Heap Summaries for Symbolic Execution (BH, EM, NR, SP), pp. 206–225.
VMCAI-2016-KidoCH #abstract interpretation #scalability #standard #static analysis #towards
Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis (KK, SC, IH), pp. 229–249.
VMCAI-2016-HenzingerOS #robust
Lipschitz Robustness of Timed I/O Systems (TAH, JO, RS), pp. 250–267.
VMCAI-2016-SogokonGJP #generative #invariant #polynomial
A Method for Invariant Generation for Polynomial Continuous Systems (AS, KG, PBJ, AP), pp. 268–288.
VMCAI-2016-Parizek #analysis #array #hybrid #partial order #reduction #source code
Hybrid Analysis for Partial Order Reduction of Programs with Arrays (PP), pp. 291–310.
VMCAI-2016-Holzmann #concurrent #verification
Cloud-Based Verification of Concurrent Software (GJH), pp. 311–327.
VMCAI-2016-DacaGH #testing
Abstraction-driven Concolic Testing (PD, AG0, TAH), pp. 328–347.
VMCAI-2016-HashemiH0 #bound #nondeterminism #probability #reachability
Reward-Bounded Reachability Probability for Uncertain Weighted MDPs (VH, HH, LS0), pp. 351–371.
VMCAI-2016-DelahayeLP #markov #parametricity #synthesis
Parameter Synthesis for Parametric Interval Markov Chains (BD, DL, LP), pp. 372–390.
VMCAI-2016-HazizaHMW #pointer
Pointer Race Freedom (FH, LH, RM0, SW), pp. 393–412.
VMCAI-2016-DokoV #logic #memory management
A Program Logic for C11 Memory Fences (MD, VV), pp. 413–430.
VMCAI-2016-DudkaHPTV #low level #pointer
From Low-Level Pointers to High-Level Containers (KD, LH, PP, MT, TV), pp. 431–452.
VMCAI-2016-LinNR0 #symmetry
Regular Symmetry Patterns (AWL, TKN, PR, JS0), pp. 455–475.
VMCAI-2016-AusserlechnerJK #protocol
Tight Cutoffs for Guarded Protocols with Fairness (SA, SJ, AK), pp. 476–494.
VMCAI-2016-CrescenzoT #automaton #composition #problem #synthesis
A General Modular Synthesis Problem for Pushdown Systems (IDC, SLT), pp. 495–513.
VMCAI-2016-ChakiK #concurrent #model checking #multi #thread
Model Checking with Multi-threaded IC3 Portfolios (SC, DK), pp. 517–535.
VMCAI-2016-BrainHKM #automation #encoding #generative #satisfiability
Automatic Generation of Propagation Complete SAT Encodings (MB, LH, DK, RM), pp. 536–556.

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.