組み込み/関数型プログラミング/コード検証などの話題を扱うコミュニティです
CSP によるスケジューラのモデル化と優先度継承プロトコルによる優先度逆転問題への対処と検証
#静的コード解析の会 第5回モデル検査器によるマルチスレッドプログラムの検証
#静的コード解析の会 第5回Hands-on VeriFast with STM32 microcontroller @ Osaka
#静的コード解析の会 第4回@大阪Hands-on VeriFast with STM32 microcontroller @ Nagoya
#静的コード解析の会 第3回@名古屋VeriFast Termination Checking Introduction(α)
#静的コード解析の会 第2回Prologで証明アシスタントを作ろう
#静的コード解析の会 第1回Hands-on VeriFast with STM32 microcontroller
#静的コード解析の会 第1回「Inferは契約プログラミングの夢をみるか」 by @masterq - YouTube
#静的コード解析の会 第0回「TPPMark2016を解きながら学ぶVeriFast」 by @eldesh - YouTube
#静的コード解析の会 第0回「Prologを使えば君も天才になれます」 by @h_sakurai - YouTube
#静的コード解析の会 第0回