awesome safety critical:有关编写安全性至关重要的软件的编程实践的资源列表 源码

至关重要的安全关键 这是有关编写安全关键软件的编程实践的资源列表。 现在,该内容托管在。 执照 要下法律允许的范围内,已放弃所有版权及相关或邻接权,以真棒安全关键。 该列表的存储库包含列表中显示的所有内容的备份。 这样做是为了确保在原始资源不可用的情况下,这些资源的可用性。 每个链接始终指向其原始资源,除非它不可用,在这种情况下,将使用备份中的资源,或者尽可能链接到web.archive.org。 工具用于检查链接。