Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

Independent

SPARK 2014

AdaCore via Independent

Go to class Write review
Scrimba Ad

Get 20% off all career paths from fullstack to AI

Learn More → Corporate Finance Institute Ad

Build the Finance Skills That Lead to Promotions — Not Just Certificates

Learn More →

Overview

Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access

SPARK 2014 is a language based on Ada 2012, allowing for formal verification. This course will describe the language subset together with the tools and techniques allowing to formally defining properties and verifying their correctness. 

Syllabus

SPARK 2014 overview

SPARK 2014 Flow Analysis

SPARK 2014 Proof of Program Integrity

SPARK 2014 State Abstraction

SPARK 2014 Proof of Functional Correctness

Reviews

Start your review of SPARK 2014

Go to class

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.