×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [proof checker]
The Use of Formal Methods on the iFACTS Air Traffic Control Project
3.671 views
Reference-Manual
53 views
PROOF TRANSLATION AND SMT LIB CERTIFICATION Yeting Ge Clark Barrett SMT 2008 July 7 Princeton
221 views
Extensible Untrusted Code Verification Robert Schneck with George Necula and Bor-Yuh Evan Chang May 14, 2003 OSQ Retreat
218 views
Proof Planning in Logical Frameworks
29 views
Proof translation and SMT LIB certification
43 views
1 Can Proofs be Animated by Games? Susumu Hayashi Humanistic Informatics Graduate School of Letters Kyoto University April 22, 2005, TLCA’05, Nara, Japan
219 views
Proof translation and SMT LIB certification
31 views