Abstract is missing.
- Fairness: A Formal-Methods PerspectiveAws Albarghouthi. 1-4 [doi]
- The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded SoftwareRoberto Bagnara, Abramo Bagnara, Patricia M. Hill. 5-23 [doi]
- Numerical Invariants via Abstract MachinesZachary Kincaid. 24-42 [doi]
- Deductive Verification in Decidable Fragments with IvyKenneth L. McMillan, Oded Padon. 43-55 [doi]
- Experience Developing and Deploying Concurrency Analysis at FacebookPeter W. O'Hearn. 56-70 [doi]
- New Applications of Software Synthesis: Verification of Configuration Files and Firewall RepairRuzica Piskac. 71-76 [doi]
- Interactive Verification of Distributed Protocols Using Decidable LogicSharon Shoham. 77-85 [doi]
- Abstract Interpretation of Stateful NetworksKalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner. 86-106 [doi]
- Block-Size Independence for GPU ProgramsRajeev Alur, Joseph Devietti, Nimit Singhania. 107-126 [doi]
- Extending Constraint-Only Representation of Polyhedra with Boolean ConstraintsAlexey Bakhirkin, David Monniaux. 127-145 [doi]
- An Efficient Abstract Domain for Not Necessarily Closed PolyhedraAnna Becchi, Enea Zaffanella. 146-165 [doi]
- Modular Software Fault Isolation as Abstract InterpretationFrédéric Besson, Thomas P. Jensen, Julien Lepiller. 166-186 [doi]
- Closing the Performance Gap Between Doubles and Rationals for OctagonsAziem Chawdhary, Andy King. 187-204 [doi]
- Verifying Properties of Differentiable ProgramsJan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland. 205-222 [doi]
- A Reduced Product of Absolute and Relative Error Bounds for Floating-Point AnalysisMaxime Jacquemin, Sylvie Putot, Franck Védrine. 223-242 [doi]
- Modular Static Analysis of String Manipulations in C ProgramsMatthieu Journault, Antoine Miné, Abdelraouf Ouadjaout. 243-262 [doi]
- Verifying Bounded Subset-Closed HyperpropertiesIsabella Mastroeni, Michele Pasqua. 263-283 [doi]
- Process-Local Static Analysis of Synchronous ProcessesJan Midtgaard, Flemming Nielson, Hanne Riis Nielson. 284-305 [doi]
- The Impact of Program Transformations on Static Program AnalysisKedar S. Namjoshi, Zvonimir Pavlinovic. 306-325 [doi]
- Efficiently Learning Safety Proofs from Appearance as well as BehavioursSumanth Prabhu, Kumar Madhukar, R. Venkatesh. 326-343 [doi]
- Invertible Linear Transforms of Numerical Abstract DomainsFrancesco Ranzato, Marco Zanella. 344-363 [doi]
- Incremental Verification Using Trace AbstractionBat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann. 364-382 [doi]
- Volume-Based Merge Heuristics for Disjunctive Numeric DomainsAndrew Ruef, Kesha Hietala, Arlen Cox. 383-401 [doi]
- Abstract Interpretation of CTL PropertiesCaterina Urban, Samuel Ueltschi, Peter Müller 0001. 402-422 [doi]
- Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change AbstractionFlorian Zuleger. 423-444 [doi]