Model-based Compositional Verification Approaches and Tools Development for Cyber-physical Systems

著录项

• 作者

  Ren, Hao.;

  展开▼
• 作者单位

  Iowa State University.;

  展开▼
• 授予单位 Iowa State University.;
• 学科
• 学位 Ph.D.
• 年度 2018
• 页码 105 p.
• 总页数 105
• 原文格式 PDF
• 正文语种 eng
• 中图分类 AAI10789047;
• 关键词

  Compositional reasoning; Cyber-physical system; Formal verification; Quantifier elimination; Reachability analysis;

  机译：组成推理;网络物理系统;正式验证;量化消除;可达性分析;