GitHub - ssvlab/esbmc-gpu: ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer safety, array bounds, arithmetic overflow, division by zero, and user-specified assertions

テクノロジーカテゴリーの変更を依頼記事元:

github.com/ssvlab

1user がブックマークコメント

記事へのコメント1件

注目コメント
新着コメント

masterq そんなのあるんだ。。。2017年まで更新

2018/09/14 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

リンクを埋め込む

以下のコードをコピーしてサイトに埋め込むことができます

<iframe marginwidth="0" marginheight="0" src="https://b.hatena.ne.jp/entry.parts?url=https%3A%2F%2Fsiteproxy.ruqli.workers.dev%3A443%2Fhttps%2Fgithub.com%2Fssvlab%2Fesbmc-gpu" scrolling="no" frameborder="0" height="230" width="500"><div class="hatena-bookmark-detail-info"><a href="https://github.com/ssvlab/esbmc-gpu">GitHub - ssvlab/esbmc-gpu: ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer safety, array bounds, arithmetic overflow, division by zero, and user-specified assertions</a><a href="https://b.hatena.ne.jp/entry/s/github.com/ssvlab/esbmc-gpu">はてなブックマーク - GitHub - ssvlab/esbmc-gpu: ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer safety, array bounds, arithmetic overflow, division by zero, and user-specified assertions</a></div></iframe>