Rust: First safety-certified embedded system

1 comments

• $lucamark 11 hours ago

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