Automated Reasoning

Using formal logic to automatically prove theorems and verify programs. Resolution theorem proving (1965) and SAT solvers underpin modern verification tools.