- Provider Independent
- Cost Free Online Course
- Session Self Paced
- Language English
- Learn more about MOOCs
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
Never Stop Learning!
