Rust and SPARK – Software Reliability for Everyoneelectronicdesign.com3 pointsnickpsecurity9 years ago