Prove with SPARK No Math, Just Code How to prove key properties of Tetris and run it on ARM Cortex

Name: Prove with SPARK No Math, Just Code How to prove key properties of Tetris and run it on ARM Cortex
Uploaded: 2017-01-01
Duration: 15 min 10 s
Description: Prove with SPARK No Math, Just Code How to prove key properties of Tetris and run it on ARM Cortex — a 2017 FOSDEM 2017 security conference talk (15:10 min). Watch the full video, indexed free on the Breach Arc Archive.

FOSDEM 2017 · 2017 · 15:10

▶

Prove with SPARK No Math, Just Code How to prove key properties of Tetris and run it on ARM Cortex — a 2017 FOSDEM 2017 security conference talk (15:10 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

← Back to the Breach Arc Archive