電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
軟件的形式化驗(yàn)證是保障軟件可證明性、可靠性和安全性的重要手段，但傳統(tǒng)形式化驗(yàn)證腳本的生成過程復(fù)雜且需要形式化驗(yàn)證專家的大量手工驗(yàn)證。為提高證明效率，構(gòu)建一種自動證明模型，并在此基礎(chǔ)上提出語義自動規(guī)約算法以及對所規(guī)約的語義自動生成證明腳本的算法。利用C++和 Python并通過交互式定理證明器abelle2017在基準(zhǔn)數(shù)據(jù)中隨機(jī)選擇10個(gè)程序進(jìn)行測試，結(jié)果表明，與完全人工操作相比，該算法具有較高的驗(yàn)證效率，可實(shí)現(xiàn)順序語句塊的自動化規(guī)約與驗(yàn)證。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 探討電網(wǎng)調(diào)度自動化系統(tǒng)可靠性的應(yīng)用研究
- 自動化標(biāo)準(zhǔn)器件選型知識概要PPT下載 37次下載
- 基于DSP的變電站綜合自動化控制系統(tǒng) 23次下載
- 可提升樣本程序軟件質(zhì)量的自動化測試工具 19次下載
- 如何使用軟件定義實(shí)現(xiàn)自動化測試系統(tǒng)進(jìn)行高級汽車電子測試
- 配電自動化實(shí)用化運(yùn)維指標(biāo)研究 0次下載
- 物聯(lián)網(wǎng)的體系結(jié)構(gòu)與相關(guān)軟件系統(tǒng)代碼自動化的研究_孫杰 0次下載
- 全球領(lǐng)先的自動化軟件產(chǎn)品及應(yīng)用案例 9次下載
- 試驗(yàn)檢測工作自動化軟件的研制及應(yīng)用 9次下載
- 光模塊自動化焊錫研究 7次下載
- 基于Web的自動化測試框架的研究 0次下載
- 全站儀測量自動化軟件的開發(fā)
- 配電自動化系統(tǒng)數(shù)據(jù)采集和遠(yuǎn)動規(guī)約的研究
- 配電自動化通信系統(tǒng)的開發(fā)與實(shí)現(xiàn)
- 一種自動的軟件體系結(jié)構(gòu)規(guī)約重寫方法
- 工業(yè)自動化中的控制方式 469次閱讀
- 工業(yè)自動化和自動化區(qū)別是什么 1029次閱讀
- 機(jī)器視覺檢測技術(shù)在工業(yè)自動化中的應(yīng)用 549次閱讀
- 束內(nèi)規(guī)約與塊內(nèi)規(guī)約問題 410次閱讀
- keil自動化編譯腳本 1267次閱讀
- 過程自動化控制和運(yùn)動自動化控制的原理詳解 1350次閱讀
- 詳解Verilog賦值語句、塊語句、條件語句 5585次閱讀
- specify塊語句詳解 1901次閱讀
- Selenium在自動化中有何用處 1612次閱讀
- SystemVerilog中的always語句塊 2116次閱讀
- 決策語句允許程序塊的執(zhí)行流程 820次閱讀
- 自動化測試框架unittes詳解 2730次閱讀
- 如何自學(xué)PLC與自動化？ 2567次閱讀
- ATE自動化測試系統(tǒng)是什么_ATE自動化測試系統(tǒng)介紹 3.2w次閱讀
- 自動化領(lǐng)域初涉水 非標(biāo)自動化和自動化到底有哪些區(qū)別? 6088次閱讀
上傳資料賺積分下載排行
本周
- 1山景DSP芯片AP8248A2數(shù)據(jù)手冊
- 1.06 MB | 532次下載 | 免費(fèi)
- 2RK3399完整板原理圖（支持平板，盒子VR）
- 3.28 MB | 339次下載 | 免費(fèi)
- 3TC358743XBG評估板參考手冊
- 1.36 MB | 330次下載 | 免費(fèi)
- 4DFM軟件使用教程
- 0.84 MB | 295次下載 | 免費(fèi)
- 5元宇宙深度解析—未來的未來-風(fēng)口還是泡沫
- 6.40 MB | 227次下載 | 免費(fèi)
- 6迪文DGUS開發(fā)指南
- 31.67 MB | 194次下載 | 免費(fèi)
- 7元宇宙底層硬件系列報(bào)告
- 13.42 MB | 182次下載 | 免費(fèi)
- 8FP5207XR-G1中文應(yīng)用手冊
- 1.09 MB | 178次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費(fèi)
- 2555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33566次下載 | 免費(fèi)
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費(fèi)
- 4開關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21549次下載 | 免費(fèi)
- 5電氣工程師手冊免費(fèi)下載(新編第二版pdf電子書)
- 0.00 MB | 15349次下載 | 免費(fèi)
- 6數(shù)字電路基礎(chǔ)pdf(下載)
- 未知 | 13750次下載 | 免費(fèi)
- 7電子制作實(shí)例集錦 下載
- 未知 | 8113次下載 | 免費(fèi)
- 8《LED驅(qū)動電路設(shè)計(jì)》 溫德爾著
- 0.00 MB | 6656次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537798次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420027次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191187次下載 | 免費(fèi)
- 7十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183279次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138040次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評論