検証的なアンテナ

すべて | ツール | 個人 | 組織、企業、団体 | 日記 | 理論 | メタ情報

1. 2024/09/25 14:13:50 TLA - The Temporal Logic of Actions
2. 2019/06/15 16:17:44 Pointer Assertion Logic
3. 2016/11/08 17:45:41 PRISM - Probabilistic Symbolic Model Checker
4. 2014/09/19 09:05:17 Predicate Abstraction