即时验证算法相关论文
基于模型的设计与分析技术是现代复杂嵌入式软件系统高可靠性的重要保障手段。与一般的软件系统相比,嵌入式软件具有极高的可靠性......
基于设计模型的分析技术是现代复杂嵌入式软件系统高可靠性的重要保障手段。基于即时验证（On-the-flyverification）方法对一个构件化......
