Generating and Exploiting Automated Reasoning Proof Certificates: Moving toward a full suite of proof-producing automated reasoning tools with SMT solvers that can produce full, independently checkable proofs for real-world problems.

Saved in:

Bibliographic Details
Title:	Generating and Exploiting Automated Reasoning Proof Certificates: Moving toward a full suite of proof-producing automated reasoning tools with SMT solvers that can produce full, independently checkable proofs for real-world problems.
Authors:	BARBOSA, HANIEL¹, BARRETT, CLARK², COOK, BYRON³, DUTERTRE, BRUNO⁴, KREMER, GEREON², LACHNITT, HANNA², NIEMETZ, AINA², NÖTZLI, ANDRES², OZDEMIR, ALEX², PREINER, MATHIAS², REYNOLDS, ANDREW⁵, TINELLI, CESARE⁵, ZOHAR, YONI⁶
Source:	Communications of the ACM; Oct2023, Vol. 66 Issue 10, p86-95, 10p, 1 Color Photograph, 1 Black and White Photograph, 2 Diagrams
Database:	Applied Science & Technology Source

Description
ISSN:	00010782
DOI:	10.1145/3587692