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.