机译:边界检查过程中线性混合自动机的无穷可达性证明
Department of Computer Science and Technology, State Key Laboratory of Novel Software Techniques, Nanjing University, Jiangsu, China;
Department of Computer Science and Technology, State Key Laboratory of Novel Software Techniques, Nanjing University, Jiangsu, China;
Department of Computer Science and Technology, State Key Laboratory of Novel Software Techniques, Nanjing University, Jiangsu, China;
Department of Computer Science and Technology, State Key Laboratory of Novel Software Techniques, Nanjing University, Jiangsu, China;
Automata; Model checking; Reachability analysis; Labeling; Computational modeling; Acceleration; Safety;
机译:证明辅助的软件和系统模型的有界和无界符号模型检查
机译:线性混合自动机的SAT-LP-IIS联合定向路径有界可达性分析
机译:HySAT:用于混合系统的有界模型检查的高效证明引擎
机译:从有界验证中推导线性混合自动机的无穷证明
机译:Unbounded-2-bounded:两阶段近似,用于模型检查无穷大直到概率系统的性质。
机译:通过新的不等式具有多主题不确定性的线性时滞系统可达集边界的新结果
机译:用于混合系统有界模型检查的高效证明引擎
机译:时间自动机无界完全符号模型检验的布尔方法