李梦君 李舟军 杨晓东 屈婉霞 郭阳 陈火旺 曹子宁 张君华 黄志球 周倜 李暾

插值 基于概率时间自动机 设计基础 不确定性 完备性定理 复杂性 逻辑程序设计 安全协议 扩展的Horn逻辑模型 抽象求精 形式化验证 消解 模型检验 符号状态交集 谓词抽象 模型检测 叙述形式