Assertion-based Verification; Non-linear Solver; Property Checking;
机译:聚合物熔体和浓溶液的流变行为第七部分:带有聚合物缠结约束的非线性粘弹性分子理论的定量验证
机译:基于扩展混合系统描述语言的网络物理系统行为建模与安全验证方法
机译:使用可满足性求解器验证UML / OCL模型中的结构和行为
机译:基于断言与非线性求解器的行为描述验证
机译:基于动态声明的SystemC验证
机译:通过非线性优化进行基于标记的亲子鉴定
机译:获取非线性流水线控制逻辑的行为描述的程序