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