#formal-methods

時相論理は医療オーダーの依頼と実行をまたぐ整合性を検査できる updated 2026-09-15
時相論理は状態の列にまたがる性質を記述する updated 2026-09-15