Awesome
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
<p xmlns:dct="http://purl.org/dc/terms/"><a rel="license" href="http://creativecommons.org/publicdomain/zero/1.0/"> <img src="http://i.creativecommons.org/p/zero/1.0/88x31.png" style="border-style: none;" alt="CC0" /> </a> <br /> To the extent possible under law, <a rel="dct:publisher" href="https://github.com/stanislaw"> <span property="dct:title">Stanislav Pankevich</span></a> has waived all copyright and related or neighboring rights to <span property="dct:title">awesome-safety-critical</span>.
</p>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.