机载系统在航空航天领域起着至关重要的作用，其突出的安全性使得软件需求的形式化验证成为一个非常重要的问题.但是随着机载系统需求复杂度和设备数量的增加，其形式化验证中出现了状态空间爆炸的问题.为了缓解该问题，提出了一种机载系统需求的建模与分时组合验证方法...