2017-08-05 (土) 15時15分
C言語とJava言語を対象とした検証器であるVeriFastの紹介と組み込み開発への応用事例紹介
講師：岡部 究
担当：Metasepi Project
レベル：入門編
対象者：C言語を使って高品質な製品を設計したい方。
前提知識：C言語のプログラミング経験がある方。
ソフトウェアの開発は品質の作り込みとの戦いです。しかし実際には設計時に品質を担保するのではなく、
実装した後のテストやデバッグで品質を保っているのが現実ではないでしょうか。
本発表ではC言語の検証器であるVeriFast https://github.com/verifast/verifast を紹介し、
当該検証器を 用いた組み込み開発について紹介します。またVeriFastはC言語だけでなくJava言語に対しても
検証を行なうことができるため、Java言語を使ったサーバサイドアプリケーションの設計者にも有用かもしれません。
ハンズオンを行なうためにWindows/macOS/LinuxいずれかがインストールされたノートPCを持参ください。
【カテゴリ】プログラミング言語/セキュリティ/組み込み
