Electronic Specifier

French software verifier adds Rust Support in push for safer code

TrustInSoft has expanded its formal verification technology to support the Rust programming language and real-time systems.