awesome-safety-critical
This is a list of resources about programming practices for writing safety-critical software.
The content is now hosted on https://awesome-safety-critical.readthedocs.io/en/latest.
License
To the extent possible under law,
Stanislav Pankevich
has waived all copyright and related or neighboring rights to
awesome-safety-critical.
This list's repository contains a backup of all content presented in the list. This is done to ensure availability of these resources in case if their original sources become unavailable. Every link always points to its original source unless it becomes unavailable in which case a resource from a backup is used or a link to web.archive.org if possible. awesome_bot tool is used to check the dead links.