Isabelle相关论文
机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。为了提高定理证明器的工作效率和......
定理机器证明是人工智能的一个重要研究领域,被应用在数学定理证明、协议验证、软件和硬件的形式化验证等方面。提高定理机器证明的......
N方的合同签署协议包含多个子协议,并允许N-1个缔约方违背协议的规定进行不诚实的操作,其形式化分析遇到了新的挑战。利用Paulson归......
Peterson 算法是互斥问题研究领域的一个经典算法,对该算法的安全性和活性目前缺乏完整严格的证明。基于交互式定理证明工具Isa......
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清......