A new hierarchical software architecture is proposed to improve the safety and reliability of a safety-critical drone sy......

可信性是各安全攸关领域软件的基础要求,例如航空航天飞行器控制软件、核电站控制软件和交通控制管理软件等,基于形式化方法的程序......

计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件.根据制式测试结果颁发计算机联锁的生产许可证,是铁......

形式化方法的主要研究对象是计算机系统的设计和验证，近扯为，形式化方法的研究扩展到计算机应用系统的各个领域，尤其是安全关键系统。......