Product Updates

SPARK Pro 11.1

Announcing the immediate release of SPARK Pro 11.1. 

This release incorporates a number of enhancements to the
SPARK Pro 11.1 toolset, including:

• availability of the toolset on 64-bit Windows
• improvements to the proof system meaning that users will see
  more VCs being discharged automatically
• a new POGS option to handle missing Simplifier logs
• the SPARKBridge gateway to alternate provers (based on Victor)
  is now available on Solaris
• SPARKBridge now incorporates an option to enable the checking
  of user rules
• the ability to ignore SPARK 2014 aspects, easing the transition
  to SPARK 2014

Further information on SPARK Pro is accessible here: 

http://www-staging.eu.adacore.com/sparkpro/