模型檢測SPIN安裝

SPIN官網 SPIN github SPIN是用於形式化驗證並發程序的模型檢測工具。Promela是SPIN的輸入語法，通過LTL(Linear Temporal Logic)或者斷言來對驗證屬性 ...

霍爾邏輯(Floyd-Hoare Logic)

https://zhuanlan.zhihu.com/p/105134213?utm_source=QQ_article_bottom ...