民用飞机软件验证技术研究

民用飞机软件验证技术研究摘要飞机软件的可靠性是保证民用飞机安全飞行的关键，因此软件验证技术也越来越受到关注。本文对民用飞机软件验证技术进行了研究和探讨，主要探讨了软件测试、形式化验证、模型检测等几种主