SPARK (Stanford Research Institute Procedural Agent Realization Kit) is a software development technology specifically designed for engineering high-reliability applications. This presentation describes SPARK 2014, which is a language for safety and security.
