SPARK 2014

Expanding the boundaries of safe and secure programming.

Learn more about SPARK 2014

Hash it and Cache it

by Johannes Kanig in Formal Verification – January 24, 2017

A new feature of SPARK2014 allows to use a memcached server to share proof results between runs of the SPARK tools and even between developers on different machines. Check out this post to see the details.