| 基于T3BDD的动态模型检查* |
| |
| 引用本文： | 倪 彬,冯玉琳,黄 涛. 基于T3BDD的动态模型检查*[J]. 软件学报, 1999, 10(10): 1025-1031 |
| |
| 作者姓名： | 倪 彬 冯玉琳 黄 涛 |
| |
| 作者单位： | 中国科学院软件研究所计算机科学开放研究实验室,北京,100080;中国科学院软件研究所计算机科学开放研究实验室,北京,100080;中国科学院软件研究所计算机科学开放研究实验室,北京,100080 |
| |
| 基金项目： | 本文研究得到国家自然科学基金和国家863高科技术项目基金资助. |
| |
| 摘 要： |
|
| 关 键 词： | 组件 Java Beans 形式规范 符号化 模型检查 二叉判定图. |
| 收稿时间： | 1998-07-07 |
| 修稿时间： | 1998-10-19 |
T3BDD Based Dynamic Model Checking |
| |
| NI Bin,FENG Yu-lin and HUANG Tao. T3BDD Based Dynamic Model Checking[J]. Journal of Software, 1999, 10(10): 1025-1031 |
| |
| Authors: | NI Bin FENG Yu-lin HUANG Tao |
| |
| Affiliation: | Laboratory of Computer Science institute of Software The Chinese Academy of Sciences Beijing 100080 |
| |
| Abstract: | |
| |
| Keywords: | Component Java Beans formal specification symbolic model checking binary decision diagram (BDD). |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
