Linear temporal logic is a formal description language of the dynamic semantics by of the concurrent or the reactive program.It suits for precisely representing the dynamic semantics of a model.
英
美
- 線(xiàn)性時(shí)序邏輯是并發(fā)或反應式程序動(dòng)態(tài)語(yǔ)義的一種形式化描述語(yǔ)言,它適合用來(lái)精確地表示模型的動(dòng)態(tài)語(yǔ)義。