×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [proof checker]
Home >
proof checker
The Use of Formal Methods on the iFACTS Air Traffic Control Project
3.671 views
Reference-Manual
52 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.
215 views
Proof Planning in Logical Frameworks
26 views
Proof translation and SMT LIB certification
37 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.
216 views
Proof translation and SMT LIB certification
31 views