The document summarizes the future directions of the SPARK technology. It discusses how SPARK has evolved over 25+ years with successes across different domains. The next generation SPARK will include an updated language, powerful verification tools, and training for engineers. It will have features like support for executable and mathematical contracts, a formal analysis compatible with standards, and increased automation for proof of functional properties. The new version is targeted for release in early 2014.