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 hi-lite-discuss@lists.forge.open-do.org
Categories
Open-DO Projects
Contact
info @ open-do.org
2 Comments
Will there be a binary distribution for x64 windows?
Not initially, but you can of course use the binary distribution for Windows 32bits on a 64bits Windows machine.
3 Trackbacks
[...] 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. [...]
[...] 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. [...]
[...] 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. [...]