default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8. VSTTE 2016: Toronto, ON, Canada
- Sandrine Blazy
, Marsha Chechik:
Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9971, 2016, ISBN 978-3-319-48868-4 - Mark Lawford:
Stupid Tool Tricks for Smart Model Based Design. 1-7 - Kristin Yvonne Rozier:
Specification: The Biggest Bottleneck in Formal Methods and Autonomy. 8-26 - Jonas Oberhauser:
Order Reduction for Multi-core Interruptible Operating Systems. 27-45 - Jean-Christophe Filliâtre, Mário Pereira:
Producing All Ideals of a Forest, Formally (Verification Pearl). 46-55 - Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb:
Constructing Semantic Models of Programs with the Software Analysis Workbench. 56-72 - Gang Tan, Greg Morrisett:
Bidirectional Grammars for Machine-Code Decoding and Encoding. 73-89 - Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi:
Automated Verification of Functional Correctness of Race-Free GPU Programs. 90-106 - Martin Clochard, Léon Gondelman, Mário Pereira:
The Matrix Reproved (Verification Pearl). 107-118 - Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman:
Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue. 119-128 - Steven T. Stewart, Derek Rayside, Vijay Ganesh, Krzysztof Czarnecki:
Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs. 129-138 - Egor George Karpenkov, Karlheinz Friedberger, Dirk Beyer:
JavaSMT: A Unified Interface for SMT Solvers in Java. 139-148 - Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich:
Relational Program Reasoning Using Compiler IR. 149-165 - Kailiang Ji:
Resolution in Solving Graph Problems. 166-180 - Dirk Beyer, Matthias Dangl:
SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms. 181-198
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-19 23:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
