GNATprove tool available

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

This entry was posted in Related Initiatives. Bookmark the permalink. Post a comment or leave a trackback: Trackback URL.

2 Comments

  1. Posted July 27, 2012 at 17:53 | Permalink

    Will there be a binary distribution for x64 windows?

    • Yannick Moy
      Posted July 30, 2012 at 08:37 | Permalink

      Not initially, but you can of course use the binary distribution for Windows 32bits on a 64bits Windows machine.

3 Trackbacks

  1. [...] 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.  [...]

  2. [...] 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.  [...]

  3. [...] 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.  [...]

Post a Comment

Your email is never published nor shared. Required fields are marked *

*
*
 
  • Categories

  • Open-DO Projects

  • Want to get involved?

  • Contact

    info @ open-do.org