SPARK Pro 16 Released!

by Yannick Moy in News, Videos – February 1, 2016

Here is the result of one year's worth of hard work, especially on three fronts:

  • more automation, with better support of bitwise arithmetic, addition of CVC4 and Z3 provers
  • more interaction, with counterexamples and global summary table
  • more extensive support of Ada features, now including Ravenscar and type predicates

See the demo below:

comments powered by Disqus