花費 32 ms
模型檢測SPIN安裝

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

Tue Sep 15 00:29:00 CST 2020 0 543

 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM