云计算是一种通过网络以服务的方式向用户提供按需收费的计算资源的模式,目前企业逐渐将业务部署、数据处理转移到云计算平台上进......

为简化面向方面程序（aspect—orientedprogramming，AOP）的形式化验证问题，Djoko等人对aspect进行了系统的分类，并确定了每类aspect能够......

近些年来模型检测已经成为验证硬件设计正确性一种实用的方法,它能克服传统方法(比如仿真和测试)的一些固有的缺陷,因为穷尽的测试......