组合验证论文

基于Petri网的Web服务组合验证技术
论文摘要随着因特网的快速发展,各种文档信息及应用程序等都可以从网上轻松获取。Web服务就是各种分布在网络上,以网络技术为基础,用于完成某种特定功能的应用程序。Web服务的生命周...
基于接口自动机的组合验证方法研究
论文题目:基于接口自动机的组合验证方法研究论文类型:博士论文论文专业:计算机科学与技术作者:文艳军导师:齐治昌关键词:形式验证,组合验证,模型检验,精化检验,接口自动机,体系结...