an interactive theorem prover on the process algebra CSP based on the theorem prover Isabelle

ruicc のブックマーク 2016/11/20 16:26

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/308999333/comment/ruicc" data-user-id="ruicc" data-entry-url="https://b.hatena.ne.jp/entry/s/staff.aist.go.jp/y-isobe/CSP-Prover/CSP-Prover.html" data-original-href="https://staff.aist.go.jp/y-isobe/CSP-Prover/CSP-Prover.html" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fstaff.aist.go.jp%2Fy-isobe%2FCSP-Prover%2FCSP-Prover.html" data-user-icon="/users/ruicc/profile.png">AIST: CSP-Proverr</a><br><p style="clear: left">an interactive theorem prover on the process algebra CSP based on the theorem prover Isabelle</p><a class="datetime" href="https://b.hatena.ne.jp/ruicc/20161120#bookmark-308999333"><span class="datetime-body">2016/11/20 16:26</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

AIST: CSP-Proverr

staff.aist.go.jp2012/09/01

News (17/12/2020) The GitHub page for CSP-Prover is available. (18/04/2020) CSP-Prover Ver.5.1 for Isabelle 2020 was released on 18 April 2020. The definitions, lemmas, and theorems are the same as...

2 人がブックマーク・1 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

AIST: CSP-Proverr

はてなブックマーク

公式Twitter

はてなのサービス