Proving Tetris With SPARK in 15 Minutes
by Yannick Moy in Videos – February 10, 2017
I gave last week a 15-minutes presentation at FOSDEM conference of how you can prove interesting properties of Tetris with SPARK. Here is the recording.
by Yannick Moy in Videos – February 10, 2017
I gave last week a 15-minutes presentation at FOSDEM conference of how you can prove interesting properties of Tetris with SPARK. Here is the recording.