Kiwamu Okabe, profile picture

Kiwamu Okabe

Sort by
An OCaml newbie meets Camlp4 parser
Past and today of Metasepi project
Hands-on VeriFast with STM32 microcontroller @ Osaka
Introduction to VeriFast @ Kyoto
ATS2 updates 2017
お米大好きな組み込みエンジニアが半年で10kg限量した話
RTOS application verified by VeriFast, and future plan
Hands-on VeriFast with STM32 microcontroller @ Nagoya
Poster: Comparing ATS and VeriFast on RTOS system state
Poster: Generate ATS interface from C code, and introduce linear type
Hands-on VeriFast with STM32 microcontroller
Emacs verilog-mode is coming to Debian, again
Does Infer dream of design by contract?
Real-time OS system state captured by ATS language
Functional IoT: Programming Language and OS