Posts tagged verifast
ATS2 and VeriFast avoid some of FreeBSD vulnerabilities
October 14, 2020
Mechanically avoid 16% of latest FreeBSD vulnerabilities without code review.
So long VeriFast, and see again ATS
November 13, 2018
Shutdown Chiers iteration, and Come back to Bohai.
Hands-on VeriFast with STM32 microcontroller
February 5, 2017
Verify ChibiOS/RT sample application using VeriFast
Functional IoT Meetup
January 30, 2016
First meetup to talk about Functional programming on embedded device.