×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [proof assistant]
Documents
Using HOL-TestGen for Test-Sequence Generation With an
313 views
Documents
Geuvers slides
102 views
Technology
A Machine-Assisted Proof of Gödel's Incompleteness Theorems
157 views
Documents
Certified Programming with Dependent Types
38 views
Documents
Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination Xinyu Feng Yale University Joint work with Zhong Shao
219 views
Documents
Have Your Compiler and Extend It Too Zachary Tatlock UC San Diego Correctness Guaranteed
219 views
Documents
Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination
55 views
Documents
Automated Theorem Proving: A Retrospection & Applications of Formal Methods
41 views