Product Updates

SPARK Pro 11.0

AdaCore is pleased to announce the availability of SPARK Pro 11.0 on
the following platforms:

  x86-windows
  x86-linux
  x86_64-linux
  x86_64-darwin
  sparc-solaris

SPARK 11.0 includes the following enhancements:

- Enhanced support (including proof) for generic subprograms
- Major improvements to the use of functions in proof contexts
- The addition of a new statement --# assume to support proof
- The elevation of SPARKBridge to a fully supported feature
- The inclusion of the counter-example generator - Riposte
- Improved dynamic memory management in the Examiner