...
机译:无限状态系统模型检验的可判定性结果
Dipartimento di Scienze dell'Intormazione, Universita degli Studi di Milano, Via Comelico 39/41,20135 Milano, Italy;
LORIA & INRIA Nancy-Grand Est, 615, rue du Jardin Botanique, 54602 Villers-les-Nancy, France;
model checking; combination methods; satisfiability problems; infinite-state systems;
机译:无限状态系统的基于模型检查的基于跟踪的信息流属性
机译:利用窄化对无限状态系统进行抽象逻辑模型检查
机译:基于无限状态系统的演绎模型检查的自动细化验证
机译:算法代数模型检查II:半代数模型检查的可确定性及其在系统生物学中的应用
机译:列出了用于模型检查实时系统和无限状态系统的分辨率和约束。
机译:利用概率模型检查对细胞膜系统进行建模和分析
机译:无限状态并发系统模型检查的可确定性