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