組み込み/関数型プログラミング/コード検証などの話題を扱うコミュニティです
CSP によるスケジューラのモデル化と優先度継承プロトコルによる優先度逆転問題への対処と検証
モデル検査器によるマルチスレッドプログラムの検証
Hands-on VeriFast with STM32 microcontroller @ Osaka
Hands-on VeriFast with STM32 microcontroller @ Nagoya
VeriFast Termination Checking Introduction(α)
Prologで証明アシスタントを作ろう
Hands-on VeriFast with STM32 microcontroller