We are happy to announce the first release of GNATprove. This tool is used for formal verification of Ada programs and is being developed as part of the Hi-Lite project. We provide binary distributions for x86 linux, x86 windows and x86-64 bit linux. More details can be found on the following page: http://www.open-do.org/projects/hi-lite/gnatprove/ For questions, remarks, or issues please contact us on email@example.com
Want to get involved?
Contactinfo @ open-do.org