跳至內容

行為時序邏輯

維基百科,自由的百科全書

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