-
公开(公告)号：CN103220685A
公开(公告)日：2013-07-24
申请号：CN201310140565.5
申请日：2013-04-22
Applicant: 南京邮电大学
Abstract: 本发明是一种基于动态规划的无线传感器网络软件模型检验方法，包括系统建模、模型预处理、模型性质验证等步骤。系统建模通过一套流程方法，建立抽象的时间状态自动机模型；模型预处理用于减少自动机中的对验证过程不产生影响的状态；模型性质验证采用基于动态规划思想的记忆化搜索验证方法。本发明能够有效地验证相关网络协议是否满足要求，缓解验证过程中状态空间爆炸问题，给出的系统验证过程时空复杂度低。
Search Results
11
records
(took 0.019 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
