安全软件设计相关论文
信息化社会对软件系统日益增长的需求与依赖，以及软件规模及复杂度的不断增加加剧了软件的“可信”问题。开发满足客户需求的可信软......
形式化验证是安全软件设计和实现的重要保障之一。在各种形式化验证方法中，模型检测以其自动化程度高且能提供反例来帮助纠错等优点......
从当前国内城市轨道交通信号系统的实际需求出发，提出一种列车自动防护（ATP）系统。确定基于通信的列车运行控制系统中ATP子系统的开发......
