...
机译:高电压存在检查服务和制造工具,具有积极的自我验证
机译:Web服务组合验证的有界模型检查方法
机译:ESBMC-GPU一个上下文关联的模型检查工具,用于验证CUDA程序
机译:评估概率模型检查工具以验证机器人控制策略
机译:WSCOVER:使用启发式模型检查和基于逻辑的群集自动组合和验证Web服务的工具
机译:使用模型检查工具(Xuppaal和Kronos)验证中型实时软件系统
机译:迁移检查工具:在治疗管理系统升级和数据库迁移之后自动进行计划验证
机译:指定和验证合同驱动的组合Web服务:一种模型检查方法