TLA+で結婚をコミットする パート2
レスリー・ランポートによる「TLA+入門」コースのコンスペクトの第2部。
モデルチェック
TLA+でハードに死なないために パート1
レスリー・ランポートによる「TLA+入門」コースのコンスペクトの第1部。
「ワンボタン」技術の代替としての演繹的検証
本論文では、演繹的検証アプローチを他の形式的検証技術と比較し、検証プロセスにおける正確性証明書の重要性を強調します。
レスリー・ランポートによる「TLA+入門」コースのコンスペクトの第2部。
レスリー・ランポートによる「TLA+入門」コースのコンスペクトの第1部。
本論文では、演繹的検証アプローチを他の形式的検証技術と比較し、検証プロセスにおける正確性証明書の重要性を強調します。