Design and implementation of a verified interpreter for additive manufacturing programs: Experience report
- Lawrence Livermore National Laboratory
- Research Organization:
- Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC52-07NA27344
- OSTI ID:
- 2440340
- Report Number(s):
- LLNL-CONF-865009; 1099001
- Country of Publication:
- United States
- Language:
- English
(Nearest) Neighbors You Can Rely On: Formally Verified k-d Tree Construction and Search in Coq
|
conference | April 2024 |
Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq
|
conference | July 2011 |
Similar Records
Additive Manufacturing Design Guides.
Revolutionary Design for Additive Manufacturing.
Overview and Design for Additive Manufacturing.
Conference
·
2016
·
OSTI ID:1376803
Revolutionary Design for Additive Manufacturing.
Conference
·
2016
·
OSTI ID:1514455
Overview and Design for Additive Manufacturing.
Conference
·
2018
·
OSTI ID:1571867