Institutional Repository
| 有限构模器的扩展及其在形式化方法中的应用 | |
| Alternative Title | extensions to a finite model generator and application to formal methods |
| 张健 | |
| 2000 | |
| Source | 计算机学报
 |
| Volume | 23Issue:2Pages:190-194 |
| English Abstract | 规约在软件开发和验证中占有重要地位 .对于以一阶逻辑为基础的规约 ,可以利用有限模型构造技术对其执行并测试 .文中研究规约中某些特性的处理 ,包括存在量词以及二元关系的传递闭包 .对已有的一个构模工具进行扩充 ,发现了文献中的若干错误 |
| Indexed Type | cscd |
| Keyword | 形式规约 一阶谓词逻辑 有限模型构造 存在量词 传递闭包 |
| Department | 计算机科学国家重点实验室 |
| Language | 中文 |
| CSCD ID | CSCD:671139 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/3172 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 张健. 有限构模器的扩展及其在形式化方法中的应用[J]. 计算机学报,2000,23(2):190-194. |
| APA | 张健.(2000).有限构模器的扩展及其在形式化方法中的应用.计算机学报,23(2),190-194. |
| MLA | 张健."有限构模器的扩展及其在形式化方法中的应用".计算机学报 23.2(2000):190-194. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 20002302190.pdf（277KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment