サクサク読めて、アプリ限定の機能も多数!
2020 / "システム設計のときに無駄な状態作ってないか調べるのには使えるかも / 研究室ではエレベーターの仕様がよく使われていたが、簡単そうに見えて状態が複雑でちょうどいい題材だと気づいた"
sh19910711 のブックマーク 2023/02/19 11:05
10日間大学時代の気分に戻ってLTLで仕様を書いてみた - cloverrose's blog[*program][形式手法][エレベーター] 2020 / "システム設計のときに無駄な状態作ってないか調べるのには使えるかも / 研究室ではエレベーターの仕様がよく使われていたが、簡単そうに見えて状態が複雑でちょうどいい題材だと気づいた"2023/02/19 11:05
2020 / "システム設計のときに無駄な状態作ってないか調べるのには使えるかも / 研究室ではエレベーターの仕様がよく使われていたが、簡単そうに見えて状態が複雑でちょうどいい題材だと気づいた"
このブックマークにはスターがありません。 最初のスターをつけてみよう!
cloverrose.hateblo.jp2023/02/19
会社のイベントで1週間何しててもいい期間があったので、大学時代に研究していた形式手法の1分野であるLTL仕様からオートマトン合成の分野に触れていました。 タイムライン 以前使っていたAcacia+というツールが...
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
2020 / "システム設計のときに無駄な状態作ってないか調べるのには使えるかも / 研究室ではエレベーターの仕様がよく使われていたが、簡単そうに見えて状態が複雑でちょうどいい題材だと気づいた"
このブックマークにはスターがありません。
最初のスターをつけてみよう!
10日間大学時代の気分に戻ってLTLで仕様を書いてみた - cloverrose's blog
会社のイベントで1週間何しててもいい期間があったので、大学時代に研究していた形式手法の1分野であるLTL仕様からオートマトン合成の分野に触れていました。 タイムライン 以前使っていたAcacia+というツールが...
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /