What is it about?

This work explains pitfalls on applying a software verification technique, MC/DC, to code written in the Rust programming language. In particular it addresses complex features found in Rust, but not found in many other programming languages used for safety critical software, such as C or Ada.

Featured Image

Read the Original

This page is a summary of: Toward Modified Condition/Decision Coverage of Rust, Journal of Aerospace Information Systems, October 2025, American Institute of Aeronautics and Astronautics (AIAA),
DOI: 10.2514/1.i011558.
You can read the full text:

Read

Contributors

Be the first to contribute to this page