| 有限构模器的扩展及其在形式化方法中的应用 |
| 其他题名 | extensions to a finite model generator and application to formal methods
|
| 张健
|
| 2000
|
| 发表期刊 | 计算机学报
 |
| 卷号 | 23期号:2页码:190-194 |
| 摘要 | 规约在软件开发和验证中占有重要地位 .对于以一阶逻辑为基础的规约 ,可以利用有限模型构造技术对其执行并测试 .文中研究规约中某些特性的处理 ,包括存在量词以及二元关系的传递闭包 .对已有的一个构模工具进行扩充 ,发现了文献中的若干错误 |
| 收录类别 | cscd
|
| 关键词 | 形式规约
一阶谓词逻辑
有限模型构造
存在量词
传递闭包
|
| 部门归属 | 计算机科学国家重点实验室
|
| 语种 | 中文
|
| CSCD记录号 | CSCD:671139
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/3172
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
张健. 有限构模器的扩展及其在形式化方法中的应用[J]. 计算机学报,2000,23(2):190-194.
|
| APA |
张健.(2000).有限构模器的扩展及其在形式化方法中的应用.计算机学报,23(2),190-194.
|
| MLA |
张健."有限构模器的扩展及其在形式化方法中的应用".计算机学报 23.2(2000):190-194.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论