| Name : why
| |
| Version : 1.32
| Vendor : ALT Linux Team
|
| Release : alt1
| Date : 2003-10-14 11:13:43
|
| Group : Development/ML
| Source RPM : why-1.32-alt1.src.rpm
|
| Size : 2.81 MB
| |
| Packager : Vitaly Lugovsky < vsl_altlinux_ru>
| |
| Summary : A program certification tool
|
Description :
Why produces a verification conditions from an annotated programs.
It could be used on the top of the Coq proof assistant.
|
