行为验证相关论文
随着机器人技术的高速发展,越来越多的人开始聚焦到认知机器人领域的研究,机器人系统中的两大研究领域主要是路径规划和任务规划,......
针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发......
嵌入式系统协调设计中 ,通常采用协同验证方法检验系统设计的正确性 ,目前比较常用的验证手段有行为验证和基于处理器结构的指令集......
针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信......
本论文的研究工作主要包含了以下几个方面:1)提出了软件演化过程模型验证语言CEPDL (Concise Evolution Process Description Langu......