形式化驗(yàn)證軟件采購(gòu) 項(xiàng)目所在采購(gòu)意向： 中國(guó)科學(xué)院計(jì)算技術(shù)研究所年至月政府采購(gòu)意向 采購(gòu)單位： 中國(guó)科學(xué)院計(jì)算技術(shù)研究所 采購(gòu)項(xiàng)目名稱(chēng)： 形式化驗(yàn)證軟件采購(gòu) 預(yù)算金額： .萬(wàn)元(人民幣) 采購(gòu)品目： 應(yīng)用軟件 采購(gòu)需求概況 ： 形式驗(yàn)證軟件，支持//等硬件語(yǔ)言，支持波形分析 預(yù)計(jì)采購(gòu)時(shí)間： - 備注： 該軟件用于對(duì)設(shè)計(jì)進(jìn)行正式的邏輯驗(yàn)證，找出設(shè)計(jì)中的邏輯錯(cuò)誤，提高設(shè)計(jì)質(zhì)量。 本次公開(kāi)的采購(gòu)意向是本單位政府采購(gòu)工作的初步安排，具體采購(gòu)項(xiàng)目情況以相關(guān)采購(gòu)公告和采購(gòu)文件為準(zhǔn)。