XiaoMi-AI文件搜索系统
World File Search System软件语言
NUREG/CR-6463，“审查用于核电站安全系统的软件语言指南。最终报告。”
介绍了用高级语言编写的安全系统软件的编程和审计指南。这些指南源自从相关标准和研究文献中收集的对软件安全至关重要的问题框架。这些指南针对以下高级语言提供了特定语言的改编版本：Ada、C/C++、可编程逻辑控制器 (PLC) 梯形逻辑、国际电工委员会 (IEC) 标准 1131-3 顺序功能图、Pascal 和 PL/M。报告的附录包括指南的表格摘要和有关所选语言的其他信息。