排序方式: 共有8条查询结果,搜索用时 0 毫秒
1
1.
2.
为了增强带测试克林代数 (KAT) 的表达能力,提出了一种加概率的带测试克林代数 (PKAT) 的理论,并将其应用于对加概率正则程序的推演.将概率格局变迁系统作为操作语义的模型,它的每个状态是一个格局,格局是由一个 PKAT表达式和一个数据状态组成的序列对.为了确立模型中的关系,定义自然语义和结构操作语义,均从行为和状态两方面进行刻画,证明两者在只考虑程序正常终止的情况下是等价的. 相似文献
3.
4.
5.
切片技术最初是作为一种程序分解抽取的分析技术而出现的,经过20多年的不断发展和完善,应用范围已遍及软件工程学科的各个方面。特别是从本世纪初,随着非经典切片:计算切片和证明切片两个新兴研究方向的出现,其学术研究和工程价值越发突出。简要地介绍了切片技术思想的起源、发展过程,并着重介绍非经典的计算切片和证明切片技术及其在验证领域的应用。 相似文献
6.
针对如何利用偏序时序逻辑刻画并发系统多诱因性的问题,提出了一种依赖流关系的流事件结构逻辑(FESL),作为多诱因特征的刻画语言.FESL以流事件结构作为框架模型,并且依据格局量词,建立了自己的公理系统.证明了FESL不仅能有效表达多诱因特性,而且还能描述涉及多个运行实例的特性;同时也证明了FESL的完备性、合理性以及可判定性. 相似文献
7.
8.
针对SAT算法中回溯次数较多的问题,采用基于符号模拟和变量划分的方法来解决其不足.基于符号模拟和变量划分的SAT算法将一个较大的CNF分解为两个子集,每个子集所包含的变量又划分为两个互不相交的子集,仅对那些无法判断的子集,赋以符号值,从而限定了赋予符号值的变量范围,即可减少算法的回溯次数,又能降低内存占用率.理论及实验结果均证明,该算法是合理且有效的. 相似文献
1