formal verification; program diagnostics; temporal logic; automatic abstraction; completeness preorders; generalized model checking; open systems; program verification; reactive program abstraction; three-valued abstractions; three-valued temporal logic;
机译:检查广义线性模型假设的联合分布与边缘分布方法
机译:基于游戏的CTL提升模型检查的广义抽象精炼
机译:用广义Rabin和Fin-less自动机进行模型检查
机译:模型检查与广义模型检查:时间逻辑的语义最小化
机译:用于计数数据的广义线性空间模型的贝叶斯模型检查。
机译:检查学习模型解释性和概括性的外部验证的扩展
机译:模型检查与通用模型检查:时间逻辑的语义最小化
机译:模型检测的广义符号执行