3 ms·
On the contrary, the article is all about promoting formal methods and in particular Adacore's tools. I agree that including Tetris in the title (like the previ
by junke 11y ago
On the contrary, the article is all about promoting formal methods and in particular Adacore's tools. I agree that including Tetris in the title (like the previous article did) could attract more people.
- ZenoArrow 11y agoIf that was the intention, a better title would be 'Running formally-verified code on the Pebble smartwatch'.