Invited Talks |
Analysis of Systems with Stochastic Process Creation (Abstract) / Javier Esparza |
Verifying Concurrent Programs with Chalice (Abstract) / K. Rustan ; M. Leino |
Static Timing Analysis for Hard Real-Time Systems / Reinhard Wilhelm ; Sebastian Altmeyer ; Claire Burguière ; Daniel Grand ; Jörg Herter ; Jan Reineke ; Björn Wachter ; Stephan Wilhelm |
Invited Tutorials |
Abstract Interpretation-Based Protection (Extended Abstract) / Roberto Giacobazzi |
Advances in Probabilistic Model Checking (Abstract) / Joost-Pieter Katoen |
Building a Calculus of Data Structures / Viktor Kuncak ; Ruzica Piskac ; Philippe Suter ; Thomas Wies |
Regular Papers |
Temporal Reasoning for Procedural Programs / Rajeev Alur ; Swarat Chaudhuri |
Improved Model Checking of Hierarchical Systems / Benjamin Aminof ; Orna Kupferman ; Aniello Murano |
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming / Lei Bu ; Jianhua Zhao ; Xuandong Li |
Complexity Bounds for the Verification of Real-Time Software / Rohit Chadha ; Axel Legay ; Pavithra Prabhakar ; Mahesh Viswanathan |
An Abstract Domain to Discover Interval Linear Equalities / Liqian Chen ; Antoine Miné ; Ji Wang ; Patrick Cousot |
Interpolant Strength / Vijay D'Silva ; Daniel Kroening ; Mitra Purandare ; Georg Weissenbacher |
Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing / Jori Dubrovin |
Invariant and Type Inference for Matrices / Thomas A. Henzinger ; Thibaud Hottelier ; Laura Kovács ; Andrei Voronkov |
Deriving Invariants by Algorithmic Learning, Decision-Procedures, and Predicate Abstraction / Yungbum Jung ; Soonho Kong ; Bow-Yaw Wang ; Kwangkeun Yi |
Automatic Abstraction for Congruences / Andy King ; Harald Søndergaard |
Shape Analysis of Low-Level C with Overlapping Structures / Jörg Kreiker ; Helmut Seidl ; Vesal Vojdani |
Abstract Threads / Shuvendu K. Lahiri ; Alexander Malkis ; Shaz Qadeer |
Shape Analysis with Reference Set Relations / Mark Marron ; Rupak Majumdar ; Darko Stefanovic ; Deepak Kapur |
Shape Analysis in the Absence of Pointers and Structure / Matthew Might |
An Analysis of Permutations in Arrays / Valentin Perrelle ; Nicolas Halbwachs |
Regular Linear Temporal Logic with Past / César Sánchez ; Martin Leucker |
Model-Checking In-Lined Reference Monitors / Meera Sridhar ; Kevin W. Hamlen |
Considerate Reasoning and the Composite Design Pattern / Alexander J. Summers ; Sophia Drossopoulou |
RGSep Action Inference / Viktor Vafeiadis |
Best Probabilistic Transformers / Lijun Zhang |
Collections, Cardinalities, and Relations / Kuat Yessenov |
Author Index |
Invited Talks |
Analysis of Systems with Stochastic Process Creation (Abstract) / Javier Esparza |
Verifying Concurrent Programs with Chalice (Abstract) / K. Rustan ; M. Leino |