10.3969/j.issn.1009-623X.2009.05.019
一种基于模型检查的嵌入式软件验证方法
@@ 嵌入式软件广泛应用于不同领域,如消费电子、工业控制、汽车电子、移动通信等.嵌入式软件的可靠性保证十分关键.嵌入式软件中常见的错误包括状态机错误、时序错误、栈溢出/存储溢出等,在开发过程中对嵌入式软件进行验证十分重要.
模型检查、嵌入式软件、验证方法、Model Checking、Based、可靠性保证、栈溢出、移动通信、消费电子、汽车电子、开发过程、工业控制、状态机、软件中、时序、存储
TP3;TN9
2009-08-26（万方平台首次上网日期，不代表论文的发表时间）
共3页
66-68
