程序验证

服务编排描述语言论文-肖浩
导读:本文包含了服务编排描述语言论文开题报告文献综述及选题提纲参考文献，主要关键词:Web服务组合,WS-CDL,关系演算,程序验证服务编排描述语言论文文献综述肖浩[1]（20...
面向对象并发程序论文-戎玫,何志学,张广泉
导读:本文包含了面向对象并发程序论文开题报告文献综述及选题提纲参考文献，主要关键词:程序切片,线性时序逻辑性质,并发程序,程序验证面向对象并发程序论文文献综述戎玫,何志学,张广...
基于断言的验证论文-邓雪峰,葛跃,王建伟,冯灵清,侯思悦
导读:本文包含了基于断言的验证论文开题报告文献综述及选题提纲参考文献，主要关键词:温度控制系统,程序验证,前后断言基于断言的验证论文文献综述邓雪峰,葛跃,王建伟,冯灵清,侯思悦...
断言验证论文-邓雪峰,葛跃,王建伟,冯灵清,侯思悦
导读:本文包含了断言验证论文开题报告文献综述及选题提纲参考文献，主要关键词:温度控制系统,程序验证,前后断言断言验证论文文献综述邓雪峰,葛跃,王建伟,冯灵清,侯思悦[1]（20...