TLA+で結婚をコミットする パート2
レスリー・ランポートによる「TLA+入門」コースのコンスペクトの第2部。
時相論理
TLA+でハードに死なないために パート1
レスリー・ランポートによる「TLA+入門」コースのコンスペクトの第1部。
スマートコントラクトのセキュリティにおけるLTLとCTLの応用
このブログでは、線形時相論理および計算木論理を探求し、それらをどのようにスマートコントラクトの検証に使用できるかを説明します。
レスリー・ランポートによる「TLA+入門」コースのコンスペクトの第2部。
レスリー・ランポートによる「TLA+入門」コースのコンスペクトの第1部。
このブログでは、線形時相論理および計算木論理を探求し、それらをどのようにスマートコントラクトの検証に使用できるかを説明します。