發簡信
IP屬地：澳門
-
B、使用手冊第一章 介紹 1.1 介紹 MCMAS是多智體系統（MAS）的模型檢查器。MCMAS接受輸入MAS規格說明和一組要驗證的公式，并使用基于有...
-
A、安裝指導
我們可以為某些平臺提供自包含的二進制文件，如果您無法在您的平臺上編譯源代碼，請與我們聯系。 系統要求 目前，MCMAS已根據以下配置進行編譯： ...
-
4-<Spin Model Checker, The Primer and Reference Manual>
SPIN模型檢查器 我們在本書中描述的方法集中在模型檢查器SPIN的使用上。待驗證的系統是在八十年代和九十年代在貝爾實驗室開發的，可以從網上免費...
-
3-<Spin Model Checker, The Primer and Reference Manual>
邏輯模型檢查 我們用于檢查軟件設計正確性的方法在大多數工程學科上都是標準的。該方法稱為模型檢查。當軟件本身無法徹底驗證時，我們可以構建一個簡化的...
-
2-<Spin Model Checker, The Primer and Reference Manual>
前言 "If you don't know where you're going, it doesn't really matter which...
-
1-<Spin Model Checker, The Primer and Reference Manual>
版權 為了區分商品，很多名稱被制造商和銷售商聲明為商標。如果這些名稱出現在本書中，并且Addison-Wesley出版社意識到這是一個商標聲明，...