Prove-It: A Powerful Theorem Prover.
Conference
·
OSTI ID:1761359
Abstract not provided.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE Office of Science (SC), Advanced Scientific Computing Research (ASCR)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1761359
- Report Number(s):
- SAND2018-14267PE; 671046
- Resource Relation:
- Conference: 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.
Operational experiences proving mass flow meters with small volume provers
Conference
·
2014
·
OSTI ID:1141598
+1 more
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics.
Conference
·
2014
·
OSTI ID:1319631
+1 more
Operational experiences proving mass flow meters with small volume provers
Conference
·
1996
·
OSTI ID:287819