ISCAS OpenIR  > 基础软件与系统重点实验室
有限构模器的扩展及其在形式化方法中的应用
Alternative Titleextensions to a finite model generator and application to formal methods
张健
2000
Source计算机学报
Volume23Issue:2Pages:190-194
English Abstract规约在软件开发和验证中占有重要地位 .对于以一阶逻辑为基础的规约 ,可以利用有限模型构造技术对其执行并测试 .文中研究规约中某些特性的处理 ,包括存在量词以及二元关系的传递闭包 .对已有的一个构模工具进行扩充 ,发现了文献中的若干错误
Indexed Typecscd
Keyword形式规约 一阶谓词逻辑 有限模型构造 存在量词 传递闭包
Department计算机科学国家重点实验室
Language中文
CSCD IDCSCD:671139
Content Type期刊论文
URIhttp://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
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[张健]'s Articles
Baidu academic
Similar articles in Baidu academic
[张健]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[张健]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.