AdaCore Blog

Proving Tetris With SPARK in 15 Minutes

by Yannick Moy

Here is the page of the talk with the slides and recording.

Posted in #SPARK    #FOSDEM   

About Yannick Moy

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 Yannick previously worked on source code analyzers for PolySpace (now The MathWorks) and at Université Paris-Sud.