サクサク読めて、アプリ限定の機能も多数!
“TLA+ではシステムが持つべき特性と設計を同じ言語でかける。あらゆる抽象度で記述できて、検証は数学を使って推論してもいいし、モデル検査で検査してもいい”
igrep のブックマーク 2018/10/25 09:52
AWSにおける形式手法 - masateruk’s blog[形式手法][tla+][aws]“TLA+ではシステムが持つべき特性と設計を同じ言語でかける。あらゆる抽象度で記述できて、検証は数学を使って推論してもいいし、モデル検査で検査してもいい”2018/10/25 09:52
このブックマークにはスターがありません。 最初のスターをつけてみよう!
masateruk.hatenablog.com2018/10/23
AWSにおける形式手法の記事(https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf)を読んだ。特に重要だと思われる示唆を3つあげると以下の通り。 産業界では長年形式手法は多大な工数をかけて比...
256 人がブックマーク・30 件のコメント
\ コメントが サクサク読める アプリです /
“TLA+ではシステムが持つべき特性と設計を同じ言語でかける。あらゆる抽象度で記述できて、検証は数学を使って推論してもいいし、モデル検査で検査してもいい”
このブックマークにはスターがありません。
最初のスターをつけてみよう!
AWSにおける形式手法 - masateruk’s blog
AWSにおける形式手法の記事(https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf)を読んだ。特に重要だと思われる示唆を3つあげると以下の通り。 産業界では長年形式手法は多大な工数をかけて比...
256 人がブックマーク・30 件のコメント
\ コメントが サクサク読める アプリです /