Hi all,
We'll have a meetup about static verification
静的コード解析の会 第0回
At this meeting, we'll discuss about ATS, CBMC, Coq, Coverity Scan, Dafny, F*, Frama-C, FreeSafeTy, Infer, Isabelle, SATABS, Spin, VeriFast, Why3, boogie, cogent, corral, seL4, vcc, and more.
Sorry for using Japanese language at the meetup. However, you'll the result as some Metasepi products. Please wait such product until the day.
Best regards,
--
Kiwamu Okabe