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