摘要:前言 目标和原由 在控制理论中,物理过程的复杂模型(例如微分或差分方程系统)通常用简单的规范来进行检验,例如稳定性和集不变性。在形式化方法中,可以用丰富的规范(如语义 languages和时间逻辑方程 formulas oftemporal logics)来检验软件程序和数字电路的简单模型(如有限转 阅读全文
posted @ 2019-06-09 16:21 DWJdollar 阅读 (28) 评论 (0) 编辑