机译:从约束中学习正式属性检查
Learning from constraints; Formal property checking; Approximate constraint solving; Learning from BDDs;
机译:从约束中学习正式属性检查
机译:通过基于SAT的属性检查对混合信号电路的稳态行为进行半形式验证
机译:用钢筋学习和贝叶斯模型检查综合概率约束下的安全政策
机译:从正式财产检查的限制中学习
机译:无限状态反应系统的可实现性检查和合成的正式技术
机译:标签学习的相交约束:年龄标签属性和引用上下文的影响
机译:互操作性约束和需求正式建模和检查框架
机译:通过对话形式化描述的模型检验,交互系统的词汇,句法和语义属性的V和V.