位置：成果数据库 > 会议 > 会议详情页
CoqMTU: a higher-order type theory with a predicative hierarchy of universes parametrized by a decid
  • 所属机构名称：清华大学
  • 成果类型：会议
  • 相关项目：面向领域的可信嵌入式软件系统试验验证环境研究
同会议论文项目
面向领域的可信嵌入式软件系统试验验证环境研究
期刊论文 5 会议论文 7
同项目会议论文
The Verification of PLC Program Based on Interactive Theorem Proving Tool COQ
An Efficient Resolution Based Algorithm for SAT
Proving Computational Geometry Algorithms in TLA+2
Edola: the domain modeling and verification language for PLC systems
Modeling and Validation of a Data Process Unit Control for Space Applications
Domain-driven Probabilistic Analysis of Programmable Logic Controllers