技術編號：6364015
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術詳細信息。本發(fā)明屬于可信計算領域，主要涉及系統(tǒng)形式化建模與驗證，尤其涉及命題投影時序邏輯(PPTL)和符號模型檢測方法(SMC)，具體是一種PPTL符號模型檢測方法。可應用于工業(yè)、農業(yè)、軍事、科研等領域硬件系統(tǒng)設計缺陷的檢測，軟件系統(tǒng)控制邏輯錯誤的檢查以及通信協(xié)議正確性的形式化驗證。背景技術近幾年來，隨著各種計算機應用軟件，硬件電路、嵌入式系統(tǒng)和網絡通信協(xié)議等在工業(yè)、農業(yè)、軍事、科研等領域的廣泛應用，這些系統(tǒng)及協(xié)議的復雜度日益增加俱增，對于可靠性的需求不斷提高。形式...
注意：該技術已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權人授權前，僅供技術研究參考不得用于商業(yè)用途。
該專利適合技術人員進行技術研發(fā)參考以及查看自身技術是否侵權，增加技術思路，做技術知識儲備，不適合論文引用。
請注意，此類技術沒有源代碼，用于學習研究技術思路。