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.

The article discusses various aspects of automated reasoning proof certificates, and it mentions the use of automated reasoning tools to find computer hardware and software-related bugs and security vulnerabilities. According to the article, formal proof certificates help improve trustworthiness. Sa...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 66; no. 10; pp. 86 - 96
Autores principales:	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
Formato:	Artículo
Publicado:	Association for Computing Machinery Oct2023
Materias:	Reasoning Automation Debugging Computer security vulnerabilities Satisfiability (Computer science) Trust
Acceso en línea:	Ver este registro en EBSCOhost