技術(shù)編號(hào)：11138365
提示：您尚未登錄，請(qǐng)點(diǎn) 登 陸 后下載，如果您還沒有賬戶請(qǐng)點(diǎn) 注 冊(cè) ，登陸完成后，請(qǐng)刷新本頁(yè)查看技術(shù)詳細(xì)信息。本發(fā)明涉及實(shí)時(shí)協(xié)議的形式化分析與驗(yàn)證領(lǐng)域，尤其涉及一種實(shí)時(shí)協(xié)議的形式化分析及驗(yàn)證方法。背景技術(shù)為了保證軟硬件的安全性、可靠性，形式化分析與驗(yàn)證技術(shù)在一些關(guān)鍵領(lǐng)域逐漸被廣泛應(yīng)用。例如在過去，形式化方法已廣泛應(yīng)用于安全性、容錯(cuò)性、基本一致性、面向?qū)ο缶幊?、編譯正確性、協(xié)議開發(fā)、硬件檢測(cè)、計(jì)算機(jī)輔助設(shè)計(jì)和人類安全?；谛问交椒òl(fā)現(xiàn)的一些安全漏洞，避免了許多工程項(xiàng)目中的巨大損失。隨著實(shí)時(shí)協(xié)議在工業(yè)、民用、軍用領(lǐng)域的廣泛應(yīng)用，協(xié)議的設(shè)計(jì)與實(shí)現(xiàn)也面臨著安全性、實(shí)時(shí)性等多方面的挑戰(zhàn)。為了保證協(xié)議的安全性、健...
注意：該技術(shù)已申請(qǐng)專利，請(qǐng)尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識(shí)儲(chǔ)備，不適合論文引用。