Software algorithms; Model checking; Markov processes; Graph theory; Numerical models; Standards; Software engineering;
机译:无限时间属性的更快统计模型检查
机译:概率系统无穷大之前的概率模型检验的两阶段逼近
机译:证明辅助的软件和系统模型的有界和无界符号模型检查
机译:线性无界属性的统计验证调查:模型检验和距离
机译:Unbounded-2-bounded:两阶段近似,用于模型检查无穷大直到概率系统的性质。
机译:智能破译难以理解的设计:系统生物学中的算法代数模型检查
机译:Unbounded-2-bounded:两阶段近似,用于模型检查无穷大直到概率系统的性质
机译:通过无界模型检查验证多代理系统