位置：成果数据库 > 会议 > 会议详情页
Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4
  • 所属机构名称：首都师范大学
  • 会议名称：Intelligent Information Processing VII, IFIP Advances in Information and Communication Technology
  • 时间：2014.10.17
  • 成果类型：会议
  • 相关项目：希尔伯特空间以及矩阵理论在HOL4中的形式化
同会议论文项目
希尔伯特空间以及矩阵理论在HOL4中的形式化
期刊论文 27 会议论文 6 获奖 2
同项目会议论文
Formal verification for spacewire communication protocol based on environment state machine
Formal verification of a collision-free algorithm of dual-arm robot in HOL4
Formal verification for spacewire data flow control using model checking
Formal Verification for SpaceWire Decoding by Appling Theorem Proving
Model checking for spacewire error detection module