Abstract is missing.
- Verifying Concurrent Programs with ChaliceK. Rustan M. Leino. 2 [doi]
- Static Timing Analysis for Hard Real-Time SystemsReinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, Stephan Wilhelm. 3-22 [doi]
- Abstract Interpretation-Based ProtectionRoberto Giacobazzi. 23-24 [doi]
- Advances in Probabilistic Model CheckingJoost-Pieter Katoen. 25 [doi]
- Building a Calculus of Data StructuresViktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies. 26-44 [doi]
- Temporal Reasoning for Procedural ProgramsRajeev Alur, Swarat Chaudhuri. 45-60 [doi]
- Improved Model Checking of Hierarchical SystemsBenjamin Aminof, Orna Kupferman, Aniello Murano. 61-77 [doi]
- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex ProgrammingLei Bu, Jianhua Zhao, Xuandong Li. 78-94 [doi]
- Complexity Bounds for the Verification of Real-Time SoftwareRohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan. 95-111 [doi]
- An Abstract Domain to Discover Interval Linear EqualitiesLiqian Chen, Antoine Miné, Ji Wang, Patrick Cousot. 112-128 [doi]
- Interpolant StrengthVijay D Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher. 129-145 [doi]
- Checking Bounded Reachability in Asynchronous Systems by Symbolic Event TracingJori Dubrovin. 146-162 [doi]
- Invariant and Type Inference for MatricesThomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov. 163-179 [doi]
- Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate AbstractionYungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi. 180-196 [doi]
- Automatic Abstraction for CongruencesAndy King, Harald Søndergaard. 197-213 [doi]
- Shape Analysis of Low-Level C with Overlapping StructuresJörg Kreiker, Helmut Seidl, Vesal Vojdani. 214-230 [doi]
- Abstract ThreadsShuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer. 231-246 [doi]
- Shape Analysis with Reference Set RelationsMark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur. 247-262 [doi]
- Shape Analysis in the Absence of Pointers and StructureMatthew Might. 263-278 [doi]
- An Analysis of Permutations in ArraysValentin Perrelle, Nicolas Halbwachs. 279-294 [doi]
- Regular Linear Temporal Logic with PastCésar Sánchez, Martin Leucker. 295-311 [doi]
- Model-Checking In-Lined Reference MonitorsMeera Sridhar, Kevin W. Hamlen. 312-327 [doi]
- Considerate Reasoning and the Composite Design PatternAlexander J. Summers, Sophia Drossopoulou. 328-344 [doi]
- RGSep Action InferenceViktor Vafeiadis. 345-361 [doi]
- Best Probabilistic TransformersBjörn Wachter, Lijun Zhang. 362-379 [doi]
- Collections, Cardinalities, and RelationsKuat Yessenov, Ruzica Piskac, Viktor Kuncak. 380-395 [doi]