Hands-on VeriFast with STM32 microcontroller Osaka | Heykuki News