Prove-It: A Powerful Theorem Prover.
Conference
·
OSTI ID:1761359
Abstract not provided.
- Research Organization:
- Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE Office of Science (SC), Advanced Scientific Computing Research (ASCR) (SC-21)
- DOE Contract Number:
- AC04-94AL85000;
- OSTI ID:
- 1761359
- Report Number(s):
- SAND2018-14267PE; 671046
- Conference Information:
- Proposed for presentation at the UNM Computer Science Seminar held November 28, 2018 in Albuquerque, NM, US.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics.
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics.
Quantum Algorithm Verification Using Prove-It.
Conference
·
2014
·
OSTI ID:1141598
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics.
Conference
·
2014
·
OSTI ID:1319631
Quantum Algorithm Verification Using Prove-It.
Conference
·
2019
·
OSTI ID:1807159