行为时序逻辑 Wikipedia · 2025-07-16 维基百科 👁 1 阅读 行为时序逻辑()是由莱斯利·兰伯特(Leslie Lamport)发展的用于规范和推理并发自反应系统的时间逻辑。 主要应用于计算机科学,程序验证。 #形式方法 #计算机逻辑 ← 上一篇 長寶道 下一篇 → 欧尤国王
评论 (0)