why-gwhy - IDE for Why software verification platform
| Website: | http://why.lri.fr/ |
|---|---|
| License: | GPLv2 |
| Vendor: | Fedora Project |
- Description:
Gwhy is an optional graphical user interface for the Why software coordination platform. It assists in the coordination of dispatching assertions that need to be proven to different theorem provers by providing an interface to do this and also supports inspection of why input files.
Packages
| why-gwhy-2.17-2.fc11.i586 [997 KiB] |
Changelog
by Fedora Release Engineering (2009-02-25):
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild |