狀態空間 state-space
model-checking
deadlock freedom
Software Modeling and Verification
temporal logic 時序邏輯 時間邏輯
The temporal logic of reactive and concurrent systems
theorem proving
Petri
專業術語預讀
發表評論
所有評論
還沒有人評論，想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.