Generating and Exploiting Automated Reasoning Proof Certificates
| Title: | Generating and Exploiting Automated Reasoning Proof Certificates |
|---|---|
| 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. 66(10):86-95 |
| Availability: | http://dl.acm.org/doi/10.1145/3587692 |
| Database: | ACM Full-Text Collection |