SPARK Cheat Sheets (en & jp)

by Yannick Moy – Dec 16, 2016

Here is the SPARK cheat sheet usually distributed in trainings, both in English and in Japanese.

Attachments

Spark Quick Reference - 75.96 kB
Spark Quick Reference Jp - 113.88 kB

Posted in #SPARK

About Yannick Moy

Yannick Moy is Head of the Static Analysis Unit at AdaCore. Yannick contributes to the development of SPARK, a software source code analyzer aiming at verifying safety/security properties of programs. He frequently talks about SPARK in articles, conferences, classes and blogs (in particular blog.adacore.com). Yannick previously worked on source code analyzers for PolySpace (now The MathWorks) and at Université Paris-Sud.