Remix.run Logo
Rust: First safety-certified embedded system(sonair.com)
2 points by torotime 11 hours ago | 1 comments
lucamark 10 hours ago | parent [-]

I’d like to see which parts of the assurance case are language/toolchain dependent versus plain old process, tests and traceability.