SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications. - View it on GitHub