溫馨提示：您尚未登錄，請點 登陸 后下載，如果您還沒有賬戶請點 注冊 ，登陸完成后，請刷新本頁查看技術詳細信息。
本發(fā)明是一種基于動態(tài)系統(tǒng)實現(xiàn)復合斷言計算的方法。本發(fā)明所述的方法將有效地支持將任意復合斷言轉(zhuǎn)換為動態(tài)系統(tǒng)，并進一步實現(xiàn)其計算求值。這些斷言包括單個簡單斷言、多個簡單斷言的順序多個復合斷言的順序組合、多個簡單斷言的并行組合、多個復合斷言的并行...該專利屬于夏壽民所有，僅供學習研究參考，未經(jīng)過夏壽民授權不得商用。