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.