nuseen

-1熱度

1回答

更新網站日食不起作用

日食nuseen更新站點無法正常工作。

eclipse nusmv nuseen 2017-03-18

---

1熱度

1回答

使用NuSMV進行模型檢查

確實在NuSMV中沒有像NULL，Nil，None這樣的值嗎？ 而且我們不應該爲過程建立模型，因爲模型應該重複電子電路？ 我的方案是我有一個UART連接器，一個主存儲器和一個進程，後者讀寫主內存並讀寫UART。在主存中有數據名爲K，應該保持不變。我們想證明，如果過程不寫入K' then the value of K`等於它的下一個值。 我在想我的模型是否足夠精細，或者太抽象了。另外如果我使用正確的

formal-verification model-checking nusmv nuseen 2017-04-08

---