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

Online Course

SPARK 2014

AdaCore University via Independent

(0)
21
Found in Programming

Taken this course? Share your experience with other students. Write review

Overview

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 for SPARK 2014 Based on 0 reviews

  • 5 star 0%
  • 4 star 0%
  • 3 star 0%
  • 2 star 0%
  • 1 star 0%

Did you take this course? Share your experience with other students.

Write a review

Class Central

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

Sign up for free

Never stop learning Never Stop Learning!

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

Sign up for free