Playlists in categories SPARK Pro

  • SPARK User Group 2012

    AdaCore and Altran partnered together to present the SPARK User Group 2012 at the High Assurance Software Symposium. The day included a series of talks by experts on tools and strategies for developing safe and secure software, including the introduction of SPARK 2014, the next generation of the SPARK language, which provides powerful verification through testing and proof.

  • SPARK User Group 2010

    AdaCore’s partner Altran has traditionally run a bi-annual “SPARK User Group”. The talks from this years event aimed at engineers and managers who are concerned with the development, regulation, or procurement of high assurance software, but who may not be day-to-day SPARK users.

  • SPARK Pro Demos

    A series of SPARK Pro demos that present a practical, hands-on introduction on using the most important features of the SPARK programming language.

  • SPARK Answers

    Everything you ever wanted to know about SPARK! OK, maybe not everything you wanted to know, but you will find answers to the most commonly asked questions about SPARK from Rod Chapman, a Principal Engineer with Altran Praxis.