SPARK 2014

Expanding the boundaries of safe and secure programming.

Learn more about SPARK 2014

Prove in the Cloud

by Yannick Moy in News – October 18, 2017

We have put together a byte (8 bits) of examples of SPARK code on a server in the cloud. The benefit with this webpage is that anyone can now experiment live with SPARK without installing first the toolset. Something particularly interesting for academics is that all the code for this widget is open source. So you can setup your own proof server for hands-on sessions, with your own exercises, in a matter of minutes.