形式手法を使って、 発見しにくいバグを一網打尽にしよう

形式手法を使って、 発見しにくいバグを一網打尽にしよう

builderscon tokyo 2019で話したときに使った資料です。
YouTube: https://www.youtube.com/watch?v=D7GccAn6R94

693ed679c8dde3eccbc682ff44f357e1?s=128

Hodaka Suzuki

August 30, 2019
Tweet