Hacker News new | ask | show | jobs
Hands-on VeriFast with STM32 microcontroller Osaka (slideshare.net)
3 points by masterq 3229 days ago
1 comments
bluejekyll 3229 days ago
does anyone know how this compares to Tock? https://www.tockos.org
link