基于T3BDD的动态模型检查S

• 作者: 倪彬 冯玉琳 黄涛
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 组件 Java Beans 形式规范 符号化 模型检查 二叉判定图
• 年，卷（期）: 1999,（10）
• 页码范围: 1025-1031
• 页数: 7页
• 分类号: TP311
• 字数: 6954字
• 语种: 中文

摘要

Java Beans是一种组件标准.该文定义了JBDL(Java Beans description language)语言,用于描述组件语义约束规范.为了检测Java Beans组件语义约束与其实现之间的一致性,文章给出了一种基于JBDL公式的三值语义和模型的抽象化动态模型检查方法.文章重点介绍了利用T3BDD(3-terminal binary decision diagram)的符号化动态模型检查方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄涛	中国科学院软件研究所计算机科学开放研究实验室	90	878	14.0	27.0
2	冯玉琳	中国科学院软件研究所计算机科学开放研究实验室	12	588	7.0	12.0
3	倪彬	中国科学院软件研究所计算机科学开放研究实验室	2	104	2.0	2.0