|
1
|
多值交互时序逻辑的模型检验研究 |
凌灿红
常亮
周洁
潘海玉
|
《郑州大学学报（理学版）》
CAS
北大核心
|
2025 |
1
|
|
|
2
|
一种形式化验证方法:模型检验 |
杨军
葛海通
郑飞君
严晓浪
|
《浙江大学学报（理学版）》
CAS
CSCD
北大核心
|
2006 |
17
|
|
|
3
|
Rubyphi:面向gem5的Cache一致性协议自动化模型检验 |
徐学政
方健
梁少杰
王璐
黄安文
隋京高
李琼
|
《计算机工程与科学》
北大核心
|
2025 |
0 |
|
|
4
|
并发反应式系统的组合模型检验与组合精化检验 |
文艳军
王戟
齐治昌
|
《软件学报》
EI
CSCD
北大核心
|
2007 |
17
|
|
|
5
|
模型检验综述 |
王蓁蓁
|
《计算机科学》
CSCD
北大核心
|
2013 |
9
|
|
|
6
|
结构方程模型检验:拟合指数与卡方准则 |
温忠麟
侯杰泰
马什赫伯特
|
《心理学报》
CSSCI
CSCD
北大核心
|
2004 |
1421
|
|
|
7
|
UMLStatecharts的模型检验方法 |
董威
王戟
齐治昌
|
《软件学报》
EI
CSCD
北大核心
|
2003 |
40
|
|
|
8
|
基于生理生态过程的大麦顶端发育和物候期模拟模型检验 |
邹薇
刘铁梅
姚娟
潘永龙
蔡剑
庄恒扬
郭华春
曹卫星
|
《生态学报》
CAS
CSCD
北大核心
|
2009 |
8
|
|
|
9
|
在数字电路验证中使用模型检验 |
李鸿儒
宋强
|
《科学技术与工程》
|
2008 |
3
|
|
|
10
|
基于Petri网模型检验的安全关键软件需求验证 |
李震
刘斌
李小勋
殷永峰
|
《系统工程与电子技术》
EI
CSCD
北大核心
|
2011 |
7
|
|
|
11
|
随机模型检验研究 |
刘阳
李宣东
马艳
王林章
|
《计算机学报》
EI
CSCD
北大核心
|
2015 |
12
|
|
|
12
|
基于模型检验的构件验证技术研究进展 |
贾仰理
李舟军
邢建英
陈石坤
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2011 |
6
|
|
|
13
|
面向模型检验的UML状态机语义 |
周颖
郑国梁
李宣东
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2003 |
8
|
|
|
14
|
作物模拟研究中的模型检验 |
郑国清
尹红征
段韶芬
黄静
|
《华北农学报》
CSCD
北大核心
|
2003 |
10
|
|
|
15
|
并发和实时系统的模型检验技术 |
董威
王戟
齐治昌
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2001 |
10
|
|
|
16
|
并发程序的切片模型检验方法 |
董威
王戟
齐治昌
|
《计算机学报》
EI
CSCD
北大核心
|
2003 |
7
|
|
|
17
|
面向SoC系统芯片中跨时钟域设计的模型检验方法 |
冯毅
易江芳
刘丹
佟冬
程旭
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2008 |
5
|
|
|
18
|
基于时态逻辑的硬件设计形式化验证技术——模型检验 |
郭建
杜惠敏
韩俊刚
郝克刚
|
《小型微型计算机系统》
CSCD
北大核心
|
2001 |
5
|
|
|
19
|
模型检验中抽象技术研究综述 |
屈婉霞
李暾
郭阳
杨晓东
|
《计算机工程与应用》
CSCD
北大核心
|
2006 |
4
|
|
|
20
|
UML状态机的模型检验方法 |
董威
王戟
郑延平
齐治昌
|
《计算机工程与科学》
CSCD
|
2001 |
7
|
|
