Abstractions from proofs.

Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Kenneth L. McMillan

Published in: ACM SIGPLAN Notices (2014)

Keyphrases

high level
theorem prover
theorem proving
mathematical proofs
decision procedures
formal proof
equational theories
automated theorem provers
database systems
expert systems
search space
trade off
management system
qualitative probabilistic networks