BMC; Blackbox; SMT; Timed Automata; quantified SMT;
机译:通过有界模型检查来检查离散定时自动机的MTL属性
机译:TCTL _(-G)存在片段和对角定时自动机的有界模型检查
机译:Boolean Guards定时自动机网络的参数化模型检查
机译:定时自动机不完整网络的有界模型检查
机译:对不完整的高维分类数据(不完整的数据)进行模型检查。
机译:随机自动机网络在间隙连接通道电压门控连续时间马尔可夫链模型创建中的应用
机译:时间自动机mITL片段的有界模型检验