行爲時序邏輯

行爲時序邏輯  是由萊斯利 · 蘭伯特 （ Leslie Lamport ） 發展的用於規範和推理併發自反應系統的時間邏輯 。 主要應用於計算機科學 ， 程序驗證 。 Category: 形式方法 Category: 計算機邏輯