SPARK Pro (Release 11) New Features Videos highlighting some of the new features of SPARK Pro (Release 11) Enhanced Support for Generic Subprograms Major Improvements to the use of Functions in Proof Contexts New Feature: SPARKbridge New Proof Statement: Assume Counter Example Generator: Riposte
