Login / Signup
Foundational Program Verification in Coq with Automated Proofs.
Adam Chlipala
Published in:
MSFP@ICFP (2010)
Keyphrases
</>
theorem prover
automated theorem provers
semi automated
computer algebra
fully automated
formal proof
real time
computer assisted
fully automatic
theorem proving
data driven
software engineering
formal methods
search algorithm
decision making
formal proofs
machine learning