安全关键型软件开发资源列表
这是一份关于编写安全关键型软件的编程实践资源列表。
内容现已托管在 https://awesome-safety-critical.readthedocs.io/en/latest。
许可证
在法律允许的范围内,
Stanislav Pankevich
已放弃awesome-safety-critical的所有版权及相关或邻接权利。
此列表的仓库包含列表中所有内容的备份。这样做是为了确保在原始来源不可用的情况下,这些资源仍然可用。每个链接始终指向其原始来源,除非原始来源变得不可用,在这种情况下会使用备份资源或尽可能使用web.archive.org的链接。