サクサク読めて、アプリ限定の機能も多数!
Haskell製の言語内DSLで仕様を記述・検証する。TLA+の置き換えを目指すらしい
igrep のブックマーク 2021/08/19 16:37
Security[Haskell][形式手法]Haskell製の言語内DSLで仕様を記述・検証する。TLA+の置き換えを目指すらしい2021/08/19 16:37
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.arista.com2020/06/19
9 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /
Haskell製の言語内DSLで仕様を記述・検証する。TLA+の置き換えを目指すらしい
igrep のブックマーク 2021/08/19 16:37
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Security
www.arista.com2020/06/19
9 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /