Abstract is missing.
- Automating Abstract InterpretationThomas W. Reps, Aditya V. Thakur. 3-40 [doi]
- Viper: A Verification Infrastructure for Permission-Based ReasoningPeter Müller 0001, Malte Schwerhoff, Alexander J. Summers. 41-62 [doi]
- Predicate Abstraction for Linked Data StructuresAlexander Bakst, Ranjit Jhala. 65-84 [doi]
- An Abstract Domain of Uninterpreted FunctionsGraeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. 85-103 [doi]
- Property Directed Abstract InterpretationNoam Rinetzky, Sharon Shoham. 104-123 [doi]
- Program Analysis with Local Policy IterationEgor George Karpenkov, David Monniaux, Philipp Wendler. 127-146 [doi]
- Lazy Constrained Monotonic AbstractionZeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng. 147-165 [doi]
- Polyhedral Approximation of Multivariate Polynomials Using Handelman's TheoremAlexandre Maréchal, Alexis Fouilhé, Tim King, David Monniaux, Michaël Périn. 166-184 [doi]
- D^3 : Data-Driven Disjunctive AbstractionHila Peleg, Sharon Shoham, Eran Yahav. 185-205 [doi]
- Exact Heap Summaries for Symbolic ExecutionBenjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person. 206-225 [doi]
- Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static AnalysisKengo Kido, Swarat Chaudhuri, Ichiro Hasuo. 229-249 [doi]
- Lipschitz Robustness of Timed I/O SystemsThomas A. Henzinger, Jan Otop, Roopsha Samanta. 250-267 [doi]
- A Method for Invariant Generation for Polynomial Continuous SystemsAndrew Sogokon, Khalil Ghorbal, Paul B. Jackson, André Platzer. 268-288 [doi]
- Hybrid Analysis for Partial Order Reduction of Programs with ArraysPavel Parizek. 291-310 [doi]
- Cloud-Based Verification of Concurrent SoftwareGerard J. Holzmann. 311-327 [doi]
- Abstraction-driven Concolic TestingPrzemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger. 328-347 [doi]
- Reward-Bounded Reachability Probability for Uncertain Weighted MDPsVahid Hashemi, Holger Hermanns, Lei Song 0001. 351-371 [doi]
- Parameter Synthesis for Parametric Interval Markov ChainsBenoît Delahaye, Didier Lime, Laure Petrucci. 372-390 [doi]
- Pointer Race FreedomFrédéric Haziza, Lukás Holík, Roland Meyer, Sebastian Wolff. 393-412 [doi]
- A Program Logic for C11 Memory FencesMarko Doko, Viktor Vafeiadis. 413-430 [doi]
- From Low-Level Pointers to High-Level ContainersKamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar. 431-452 [doi]
- Regular Symmetry PatternsAnthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun 0001. 455-475 [doi]
- Tight Cutoffs for Guarded Protocols with FairnessSimon Außerlechner, Swen Jacobs, Ayrat Khalimov. 476-494 [doi]
- A General Modular Synthesis Problem for Pushdown SystemsIlaria De Crescenzo, Salvatore La Torre. 495-513 [doi]
- Model Checking with Multi-threaded IC3 PortfoliosSagar Chaki, Derrick Karimi. 517-535 [doi]
- Automatic Generation of Propagation Complete SAT EncodingsMartin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins. 536-556 [doi]