可满足性验证相关论文
随着多处理器和多核计算的兴起,并发程序的验证逐渐成为学术界广泛关注的热点问题之一。然而,由于并发程序本身存在的线程交互性,......
为了在早期阶段发现电路设计错误，需要对包含未知部分的实现电路和规范电路进行等价性验证。本文提出了一种“分而治之”的方法，把电......
提出一种新颖的活动链的行为规范概念,该概念的粒度介于活动和场景概念之间,并根据基于活动链的行为刻画需求,设计＂链存在、链缺失......
为使自适应软件的需求规约与软件约束一致性验证能够得到已有验证工具的支持,提出了一种基于模型转换的验证方法。该方法通过对Tro......
形式化验证技术起源于20世纪60年代软件危机。直至整个70年代，形式化验证技术所针对的一般是转换型程序，即单纯进行科学计算、计数等......
