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

SPARK 2014

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

Kotlin Programming Fundamentals Tutorial - Full Course
Data Science and Engineering with Spark
Big Data Fundamentals with PySpark

1.0
Functional Programming in Scala
Introduction to Big Data with Spark and Hadoop
Introduction to Java Programming: Starting to code in Java

4.3

Reviews

Start your review of SPARK 2014

40+ Black Friday & Cyber Monday Online Learning Deals

Overview

Syllabus

Kotlin Programming Fundamentals Tutorial - Full Course

Data Science and Engineering with Spark

Big Data Fundamentals with PySpark

Functional Programming in Scala

Introduction to Big Data with Spark and Hadoop

Introduction to Java Programming: Starting to code in Java

Never Stop Learning!