• 基于NuSMV的SysML模型形式化验证

    基于NuSMV的SysML模型形式化验证

    论文摘要航空航天道路交通等高安全领域的系统开发需要保证高安全、高可靠,对于该类系统的合理建模以及模型验证则尤为重要。当前模型驱动开发方法已经广泛应用于安全关键系统的开发过程中,...