このエントリーをはてなブックマークに追加
#静的コード解析の会 第0回

Ended 2016/11/19（Sat） 12:45〜

#静的コード解析の会 第0回

ATS/VeriFast/Infer/Frama-C/seL4などなどについて発表しまくるんだ！

masterq masterq

東京都千代田区神田須田町2-3-1 NBF神田須田町ビル7F

Group Information

Metasepi

組み込み/関数型プログラミング/コード検証などの話題を扱うコミュニティです

このグループのイメージ画像
Members 157 people
Number of events 19

Media List

スライド

masterq masterq

Does Infer dream of design by contract?

投稿者:masterq

投稿日:Nov. 14, 2016, 5:56 p.m.

h_sakurai h_sakurai

Prologを使えば君も天才になれる

Read more >>

投稿者:h_sakurai

投稿日:Nov. 19, 2016, 10:26 a.m.

eldesh eldesh

TPPMark2016 を解きながら学ぶ VeriFast

投稿者:eldesh

投稿日:Nov. 19, 2016, 10:39 p.m.

動画

(未設定)(未設定)

「並行システムの理論 CSP の紹介」 by @hatsugai - YouTube

投稿者:masterq

投稿日:Nov. 19, 2016, 11:17 p.m.

(未設定)(未設定)

「Prologを使えば君も天才になれます」 by @h_sakurai - YouTube

投稿者:masterq

投稿日:Nov. 19, 2016, 11:18 p.m.

(未設定)(未設定)

「TPPMark2016を解きながら学ぶVeriFast」 by @eldesh - YouTube

投稿者:masterq

投稿日:Nov. 19, 2016, 11:18 p.m.

(未設定)(未設定)

「Inferは契約プログラミングの夢をみるか」 by @masterq - YouTube

投稿者:masterq

投稿日:Nov. 19, 2016, 11:18 p.m.

ブログなど

hatsugai hatsugai

並行システムの理論 CSP の紹介

Read more >>

投稿者:masterq

投稿日:Oct. 27, 2016, 7:51 p.m.