机译:特色过渡系统:验证可变性密集系统的基础及其在LTL模型检查中的应用
University of Namur (FUNDP), Namur|c|;
Formal methods; features; model checking; software product lines; variability; verification;
机译:LTL模型检查寄存器推动系统
机译:关于低维离散线性动力系统的LTL模型检查
机译:关于流程重写系统的LTL模型检查的可判定性
机译:模态转换系统:组成和LTL模型检查
机译:用于系统验证的符号模型检查及其在决策表和分布式协作发布系统中的应用。
机译:多尺度时空元模型检查验证生物系统多级计算模型的新方法
机译:用于无限系统上可判定LTL模型检查的算法元定理