规约语言相关论文
本文阐述了一个静态软件测试工具中使用的规约语言的设计和相应翻译工具的实现.该规约语言以一阶逻辑和集合论为基础,提供了集合、......
本文对部分状态空间的建模及其验证进行了研究.文章提出了一个统一的框架,在一个维度上扩充Krinke结构,一个维度上扩充LTS,另一个......
摘 要：“kick the bucket”的修辞意义因具有非透明性而蕴涵复杂的认知过程，依据三大认知理论进行描述性和解释性研究，其认知形成得以......
ＰＶ查斯坦福机构开发的强大的规约。验证系统，它的适用领域广泛，在概要介绍ＰＶＳ的构成。功能后，着重分析了ＰＶＳ的规约语言，验证系统的特点，以及使得......
作为测试、模型检验等开发阶段所用技术的有效补充,运行时验证技术越来越受到广泛的关注.然而,当前的运行时验证技术主要用于应用......
