|
|
|
The Constraint Contextual Rewriting Project
RDL Version 1.1: Experimental results
-
Performances of the RDL system on a set of
problems collected from the literature or available in the corpus
of other verification systems.
-
Forthcoming: a comparison of the performances of RDL vs. other
verification system (such as Simplify
and SVC) on the set
of problems given above.
[ Home | Overview
| Publications | Software:Experimental
results | Related links ]
This web site is maintained by the AI-Lab webmaster.
Last updated: 14-Dec-2006 |