有限构模器的扩展及其在形式化方法中的应用
| Data(s) |
2000
|
|---|---|
| Resumo |
规约在软件开发和验证中占有重要地位 .对于以一阶逻辑为基础的规约 ,可以利用有限模型构造技术对其执行并测试 .文中研究规约中某些特性的处理 ,包括存在量词以及二元关系的传递闭包 .对已有的一个构模工具进行扩充 ,发现了文献中的若干错误 |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
张健.有限构模器的扩展及其在形式化方法中的应用,计算机学报,2000,23(2):190-194 |
| Palavras-Chave | #形式规约 #一阶谓词逻辑 #有限模型构造 #存在量词 #传递闭包 |
| Tipo |
期刊论文 |
