行為時序邏輯

行為時序邏輯(英語:The Temporal Logic of Actions)是由萊斯利·蘭伯特(Leslie Lamport)發展的用於規範和推理並發自反應系統的時間邏輯。 主要應用於計算機科學,程序驗證。