Model Checking and Verificationの一部紹介 #sigstj

405fe9ab689473f267e2cfbd95f78c75?s=47 kyonmm
August 26, 2017

Model Checking and Verificationの一部紹介 #sigstj

ICST2017まるわかりDay の発表資料です。
https://sigstj.connpass.com/event/59052/

Statistical Model Checking Meets Property-Based Testing とTimed k-Tail: Automatic Inference of Timed Automata の紹介になります。

405fe9ab689473f267e2cfbd95f78c75?s=128

kyonmm

August 26, 2017
Tweet