Class Central just turned nine! Here’s a recap of some of this year’s main developments.
Organize and share your learning with Class Central Lists. View our Lists Showcase
Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.
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.
SPARK 2014 overview
SPARK 2014 Flow Analysis
SPARK 2014 Proof of Program Integrity
SPARK 2014 State Abstraction
SPARK 2014 Proof of Functional Correctness
École Polytechnique Fédérale de Lausanne
Berkeley University of California
Universidad Carlos iii de Madrid
University of Alberta
0.0 rating, based on 0 reviews
Select a rating
Start your review of SPARK 2014
Get personalized course recommendations, track subjects and courses with reminders, and more.