规约语言相关论文
摘 要：“kick the bucket”的修辞意义因具有非透明性而蕴涵复杂的认知过程，依据三大认知理论进行描述性和解释性研究，其认知形成得以......
ＰＶ查斯坦福机构开发的强大的规约。验证系统，它的适用领域广泛，在概要介绍ＰＶＳ的构成。功能后，着重分析了ＰＶＳ的规约语言，验证系统的特点，以及使得......
作为测试、模型检验等开发阶段所用技术的有效补充,运行时验证技术越来越受到广泛的关注.然而,当前的运行时验证技术主要用于应用......
