论文部分内容阅读
规约在软件开发和验证中占有重要地位，对于以一阶逻辑为基础的规约，可以利用有限模型构造技术对其执行并测试，文中研究规约中某些特性的处理，包括存在量词以及二元关系析传递闭包，对已有的一个构模工具进行扩充，发现了文献中的若干错误。
有限构模器的扩展及其在形式化方法中的应用
【摘 要】
：
规约在软件开发和验证中占有重要地位，对于以一阶逻辑为基础的规约，可以利用有限模型构造技术对其执行并测试，文中研究规约中某些特性的处理，包括存在量词以及二元关系析传递闭包
【机 构】
：
中国科学院软件研究所计算机科学开放研究实验室
【出 处】
：
计算机学报
【发表日期】
：
2000年2期
其他文献