Abstract is missing.
- Variations on the Stochastic Shortest Path ProblemMickael Randour, Jean-François Raskin, Ocan Sankur. 1-18 [doi]
- Abstracting Induction by Extrapolation and InterpolationPatrick Cousot. 19-42 [doi]
- Path Sensitive Cache Analysis Using Cache Miss PathsKartik Nagar, Y. N. Srikant. 43-60 [doi]
- Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile ApplicationsAgostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp. 61-79 [doi]
- Induction for SMT SolversAndrew Reynolds, Viktor Kuncak. 80-98 [doi]
- Automatic Synthesis of Piecewise Linear Quadratic Invariants for ProgramsAssalé Adjé, Pierre-Loïc Garoche. 99-116 [doi]
- Distributed Markov ChainsRatul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan. 117-134 [doi]
- Analysis of Infinite-State Graph Transformation Systems by Cluster AbstractionPeter Backes, Jan Reineke. 135-152 [doi]
- A Model for Industrial Real-Time SystemsMd Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie. 153-171 [doi]
- Abstraction-Based Computation of Reward Measures for Markov AutomataBettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns. 172-189 [doi]
- Proving Guarantee and Recurrence Temporal Properties by Abstract InterpretationCaterina Urban, Antoine Miné. 190-208 [doi]
- Tree Automata-Based Refinement with Application to Horn Clause VerificationBishoksan Kafle, John P. Gallagher. 209-226 [doi]
- Abstracting and Counting Synchronizing ProcessesZeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng. 227-244 [doi]
- Debugging Process Algebra SpecificationsGwen Salaün, Lina Ye. 245-262 [doi]
- Property Directed Polyhedral AbstractionNikolaj Bjørner, Arie Gurfinkel. 263-281 [doi]
- Abstraction of Arrays Based on Non Contiguous PartitionsJiangchao Liu, Xavier Rival. 282-299 [doi]
- From Verification to OptimizationsRigel Gjomemo, Kedar S. Namjoshi, Phu H. Phung, V. N. Venkatakrishnan, Lenore D. Zuck. 300-317 [doi]
- Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid SystemsPavithra Prabhakar, Miriam Garcia Soto. 318-335 [doi]
- An Experimental Evaluation of Deliberate Unsoundness in a Static Program AnalyzerMaria Christakis, Peter Müller 0001, Valentin Wüstholz. 336-354 [doi]
- Bounded Implementations of Replicated Data TypesMadhavan Mukund, Gautham Shenoy R., S. P. Suresh. 355-372 [doi]
- Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive TestingMaria Christakis, Patrice Godefroid. 373-392 [doi]
- Automatic Inference of Heap Properties Exploiting Value DomainsPietro Ferrara, Peter Müller 0001, Milos Novácek. 393-411 [doi]
- Dependent Array Type Inference from TestsHe Zhu, Aditya V. Nori, Suresh Jagannathan. 412-430 [doi]
- A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic SetsKhalil Ghorbal, Andrew Sogokon, André Platzer. 431-448 [doi]
- Effective Abstractions for Verification under Relaxed Memory ModelsAndrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav. 449-466 [doi]