技術(shù)編號(hào)：6364016
提示：您尚未登錄，請(qǐng)點(diǎn) 登 陸 后下載，如果您還沒(méi)有賬戶(hù)請(qǐng)點(diǎn) 注 冊(cè) ，登陸完成后，請(qǐng)刷新本頁(yè)查看技術(shù)詳細(xì)信息。本發(fā)明屬于計(jì)算機(jī)應(yīng)用，主要涉及系統(tǒng)形式化驗(yàn)證，尤其涉及命題投影時(shí)序邏輯(PPTL)和限界模型檢測(cè)(BMC)，具體是一種基于SAT的命題投影時(shí)序邏輯限界模型檢測(cè)方法。主要應(yīng)用于工業(yè)，軍事，農(nóng)業(yè)，科研等領(lǐng)域設(shè)計(jì)的軟硬件系統(tǒng)正確性的形式化驗(yàn)證，以及各類(lèi)通信協(xié)議安全性，可靠性的形式化驗(yàn)證。背景技術(shù)隨著Internet的發(fā)展和工業(yè)界需求的不斷提高，各種計(jì)算機(jī)應(yīng)用軟件，硬件電路的設(shè)計(jì)復(fù)雜度與日俱增，網(wǎng)絡(luò)通信技術(shù)也是日新月異，這些系統(tǒng)的正確性，安全性和可靠性已經(jīng)受到科學(xué)...
注意：該技術(shù)已申請(qǐng)專(zhuān)利，請(qǐng)尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專(zhuān)利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專(zhuān)利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識(shí)儲(chǔ)備，不適合論文引用。
請(qǐng)注意，此類(lèi)技術(shù)沒(méi)有源代碼，用于學(xué)習(xí)研究技術(shù)思路。