awesomesafety··on Awesome-safety-critical: resources for writing safety-critical softwareAn oldie and a goodie.
awesomesafety··on Awesome-safety-critical: resources for writing safety-critical softwareThese 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...
awesomesafety··on Awesome-safety-critical: resources for writing safety-critical software> 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
awesomesafety··on Awesome-safety-critical: resources for writing safety-critical softwareWhoops, this is a duplicate. Thread from 3 years ago: https://news.ycombinator.com/item?id=13805754