Online Course
SPARK 2014
AdaCore University via Independent
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
-
Functional Programming in Scala
École Polytechnique Fédérale de Lausanne
-
Data Science and Engineering with Spark
Berkeley University of California
-
Introduction to Java Programming: Starting to code in Java
Universidad Carlos iii de Madrid
4.3 -
Scalable Machine Learning on Big Data using Apache Spark
IBM
-
Object-Oriented Design
University of Alberta
4.3 -
Java Programming Fundamentals
Galileo University
Reviews
0.0 rating, based on 0 reviews
Never Stop Learning!
