サクサク読めて、アプリ限定の機能も多数!
必要になったら勉強しよう。時相論理と状態遷移系の知識が必要である、と聞いたけど
kirakking のブックマーク 2013/05/31 20:16
Spin - Formal Verification[形式手法][開発][tool][SPIN]必要になったら勉強しよう。時相論理と状態遷移系の知識が必要である、と聞いたけど2013/05/31 20:16
このブックマークにはスターがありません。 最初のスターをつけてみよう!
spinroot.com2005/06/25
Open Source: Starting with Version 6.4.5 from January 2016, the Spin sources are available under the standard BSD 3-Clause open source license. Spin is now also part of the latest stable release of...
54 人がブックマーク・11 件のコメント
\ コメントが サクサク読める アプリです /
必要になったら勉強しよう。時相論理と状態遷移系の知識が必要である、と聞いたけど
kirakking のブックマーク 2013/05/31 20:16
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Spin - Formal Verification
spinroot.com2005/06/25
Open Source: Starting with Version 6.4.5 from January 2016, the Spin sources are available under the standard BSD 3-Clause open source license. Spin is now also part of the latest stable release of...
54 人がブックマーク・11 件のコメント
\ コメントが サクサク読める アプリです /