Modal Transition Systems; Context-free/procedural transition systems; Modal refinement; Second-order model checking; Meta model; Domain-specific languages; Predicate/property transformers; Binary decision diagram; Compositionality;
机译:对产品系列中的可变性进行建模和分析:具有可变性约束的模态转换系统的模型检查
机译:使用可变性抽象和模态转换系统的CTL〜★基于家庭的模型检查
机译:命题和模态包含逻辑中的模型检查和有效性
机译:M3C:模态元模型检查
机译:主要抑郁症的结构和功能改变:网络建模的多模态元分析方法
机译:多尺度时空元模型检查验证生物系统多级计算模型的新方法
机译:您的模型检查员准时吗?关于定时模态逻辑的模型检查的复杂性