Viper
Viper (Verification Infrastructure for Permission-based Reasoning) is a language and suite of tools, providing an architecture on which new verification tools and prototypes can be developed simply and quickly. Viper is being developed at ETH Zurich in close collaboration with the team of Alex Summers at UBC. Viper comprises a novel intermediate verification language, also named Viper, and automa
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://www.jstage.jst.go.jp/article/jssst/36/3/36_3_33/_pdf
Z3: An Efficient Theorem Prover
Z3Py Guide
GitHub - uw-unsat/yggdrasil
GitHub - uw-unsat/hyperkernel
