Awesome-safety-critical: resources for writing safety-critical software

These are mostly all C, C++, and Ada resources.

> Does Rust have a chance in mission-critical software? (currently Ada and proven C niches) https://www.reddit.com/r/rust/comments/5iv5j7/does_rust_have...

Whoops, this is a duplicate. Thread from 3 years ago: https://news.ycombinator.com/item?id=13805754

HN doesn't consider it a duplicate if it's more than a year ago, so all good.

An oldie and a goodie.

> Friendly lists, Resources, Software safety standards, Safety guidebooks, Coding guidelines, Topics, Certification, Formal verification, MC/DC, Articles, Papers, Reports, Accidents, Questions and Answers, Books, Videos, Interviews, Press, License