SPARK Pro 11 demos

Robin Messer highlights the new features released in SPARK Pro 11 including:

  • Enhanced Support for Generic Subprograms
  • SPARKbridge
  • Counter Example Generator: Riposte
  • Improvements to the use of Functions in Proof Contexts
  • New Proof Statement: Assume