计算机科学

首页 > 计算机科学

行为时序逻辑

2018-08-30 10:06:26     所属分类:计算机逻辑

行为时序逻辑(The Temporal Logic of Actions)是由莱斯利·兰伯特(Leslie Lamport)发展的用于规范和推理并发自反应系统的时间逻辑。 主要应用于计算机科学,程序验证。


相关推荐