134 search results - page 1 / 27 » Meronymy Extraction Using An Automated Theorem Prover |
LDVF
2010
13 years 4 months ago
2010
CADE
2004
Springer
14 years 10 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
TABLEAUX
2005
Springer
14 years 3 months ago
2005
Springer
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...
CADE
2004
Springer
14 years 10 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
ACSAC
2005
IEEE
14 years 3 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...