机译:基于属性的切片以进行代理验证
Department of Computer Science, University of Durham, Durham, UK Institute of Informatics, Federal University of Rio Grande do Sul, Porto Alegre, Brazil;
Department of Computer Science, University of Liverpool, Liverpool, UK;
Department of Computer Science, University of Liverpool, Liverpool, UK;
Department of Mathematical Sciences, Computer Science Division, Stellenbosch University, Stellenbosch, South Africa;
program verification; multi-agent programming languages; property-based slicing; model checking; multi-agent systems;
机译:使用基于属性的切片和基于约束的环境生成对汽车操作系统进行有效的安全检查
机译:Verivanca框架:由基于财产的消息传递验证rebeca的rectituce的演员传递
机译:基于代理的模拟使用基于属性的测试的规范测试
机译:切片代理程序以获得更高效的验证
机译:HDL切片以进行验证和测试。
机译:逐层PV回路分析显示区域心脏收缩力和对正性肌力药物反应的天然差异
机译:基于属性的切片以进行代理验证