nabinno のブックマーク / はてなブックマーク

nabinno のブックマーク 2019/01/01 18:07

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/2281750/comment/nabinno" data-user-id="nabinno" data-entry-url="https://b.hatena.ne.jp/entry/www.doc.ic.ac.uk/ltsa/" data-original-href="http://www.doc.ic.ac.uk/ltsa/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fsiteproxy.ruqli.workers.dev%3A443%2Fhttp%2Fwww.doc.ic.ac.uk%2Fltsa%2F" data-user-icon="/users/nabinno/profile.png">LTSA - Labelled Transition System Analyser</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/model-checking">model-checking</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/formal-methods">formal-methods</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/automated-theorem-proving">automated-theorem-proving</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/automated-reasoning">automated-reasoning</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/logical-reasoning">logical-reasoning</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/mathematical-proof">mathematical-proof</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/software-testing">software-testing</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/specification">specification</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/ocaml">ocaml</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/ruby-family-programming-language">ruby-family-programming-language</a>]</li></ul><br><p style="clear: left"></p><a class="datetime" href="https://b.hatena.ne.jp/nabinno/20190101#bookmark-2281750"><span class="datetime-body">2019/01/01 18:07</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

LTSA - Labelled Transition System Analyser

www.doc.ic.ac.uk2006/07/06

LTSA is a verification tool for concurrent systems. It mechanically checks that the specification of a concurrent system satisfies the properties required of its behaviour. In addition, LTSA suppor...

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

他のコメントを読む

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

はてなブックマーク

LTSA - Labelled Transition System Analyser

はてなブックマーク

公式Twitter

はてなのサービス