Abstract is missing.
- Stupid Tool Tricks for Smart Model Based DesignMark Lawford. 1-7 [doi]
- Specification: The Biggest Bottleneck in Formal Methods and AutonomyKristin Yvonne Rozier. 8-26 [doi]
- Order Reduction for Multi-core Interruptible Operating SystemsJonas Oberhauser. 27-45 [doi]
- Producing All Ideals of a Forest, Formally (Verification Pearl)Jean-Christophe Filliâtre, Mário Pereira. 46-55 [doi]
- Constructing Semantic Models of Programs with the Software Analysis WorkbenchRobert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb. 56-72 [doi]
- Bidirectional Grammars for Machine-Code Decoding and EncodingGang Tan, Greg Morrisett. 73-89 [doi]
- Automated Verification of Functional Correctness of Race-Free GPU ProgramsKensuke Kojima, Akifumi Imanishi, Atsushi Igarashi. 90-106 [doi]
- The Matrix Reproved (Verification Pearl)Martin Clochard, Léon Gondelman, Mário Pereira. 107-118 [doi]
- Enabling Modular Verification with Abstract Interference Specifications for a Concurrent QueueAlan Weide, Paolo A. G. Sivilotti, Murali Sitaraman. 119-128 [doi]
- Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUsSteven T. Stewart, Derek Rayside, Vijay Ganesh, Krzysztof Czarnecki. 129-138 [doi]
- JavaSMT: A Unified Interface for SMT Solvers in JavaEgor George Karpenkov, Karlheinz Friedberger, Dirk Beyer 0001. 139-148 [doi]
- Relational Program Reasoning Using Compiler IRMoritz Kiefer, Vladimir Klebanov, Mattias Ulbrich. 149-165 [doi]
- Resolution in Solving Graph ProblemsKailiang Ji. 166-180 [doi]
- SMT-based Software Model Checking: An Experimental Comparison of Four AlgorithmsDirk Beyer 0001, Matthias Dangl. 181-198 [doi]