我們可以為某些平臺(tái)提供自包含的二進(jìn)制文件转唉，如果您無法在您的平臺(tái)上編譯源代碼，請(qǐng)與我們聯(lián)系稳捆。 系統(tǒng)要求 目前赠法，MCMAS已根據(jù)以下配置進(jìn)行編譯： ...

SPIN模型檢查器 我們?cè)诒緯忻枋龅姆椒性谀Ｐ蜋z查器SPIN的使用上。待驗(yàn)證的系統(tǒng)是在八十年代和九十年代在貝爾實(shí)驗(yàn)室開發(fā)的乔夯，可以從網(wǎng)上免費(fèi)...

邏輯模型檢查 我們用于檢查軟件設(shè)計(jì)正確性的方法在大多數(shù)工程學(xué)科上都是標(biāo)準(zhǔn)的砖织。該方法稱為模型檢查。當(dāng)軟件本身無法徹底驗(yàn)證時(shí)末荐，我們可以構(gòu)建一個(gè)簡化的...

前言 "If you don't know where you're going, it doesn't really matter which...

版權(quán) 為了區(qū)分商品侧纯，很多名稱被制造商和銷售商聲明為商標(biāo)。如果這些名稱出現(xiàn)在本書中甲脏，并且Addison-Wesley出版社意識(shí)到這是一個(gè)商標(biāo)聲明眶熬，...