240 發(fā)簡信
IP屬地:貴州
  • Resize,w 360,h 240
    B矾克、使用手冊(cè)

    第一章 介紹 1.1 介紹 MCMAS是多智體系統(tǒng)(MAS)的模型檢查器。MCMAS接受輸入MAS規(guī)格說明和一組要驗(yàn)證的公式伙菜,并使用基于有...

  • A衍慎、安裝指導(dǎo)

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

  • 4-<Spin Model Checker, The Primer and Reference Manual>

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

  • 3-<Spin Model Checker, The Primer and Reference Manual>

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

  • 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>

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

亚洲A日韩AV无卡,小受高潮白浆痉挛av免费观看,成人AV无码久久久久不卡网站,国产AV日韩精品