SPARK 2014
Offered By: AdaCore via Independent
Course Description
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
Related Courses
1C:Enterprise Junior Developer CourseMoscow Institute of Physics and Technology via Coursera A Beginner’s Guide to Docker
Packt via FutureLearn A Beginner’s Guide to Scrum Project Management
Packt via FutureLearn Google Professional Cloud DevOps Engineer Certification Path Introduction (GCP DevOps Engineer Track Part 1)
A Cloud Guru Introduction to Amazon CodeGuru
A Cloud Guru