Clark Barrett

Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning

2008

NASA Formal Methods

2017

Identifying and Mitigating the Security Risks of Generative AI

2024

Automated Deduction : CADE 30

2025

Algorithms for Verifying Deep Neural Networks

2021