Forgot your password?
New user?
SAL decision procedures
Maude 2.2
Some Theorem Proving Strategies and their Implementation
ICS
Document Actions
Simplify Prover Benchmarks
This directory contains two test suites for automatic theoreom provers. The first test suite, in the subdirectory front_end_suite, consists of 207 files containing 2331 valid verification conditions. The second test suite, in the subdirectory small_suite, consists of 18 files each containing a single valid conjecture. The format of these files is described in the file format.txt.
Size 8.6 MB - File type application/x-tar
Click here to get the file
