We'll have a meetup about static verification

6 views
Skip to first unread message

Kiwamu Okabe

unread,
Oct 11, 2016, 5:46:21 AM10/11/16
to metasepi
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
Reply all
Reply to author
Forward
0 new messages