Towards a Safe, Verified Runtime Monitor for Embedded Systems: R2U2 in Embedded Rust

Alexis Aurandt, Phillip H. Jones, and Kristin Yvonne Rozier

This webpage contains further details and artifacts for reproducibility of the experiments in "Towards a Safe, Verified Runtime Monitor for Embedded Systems: R2U2 in Embedded Rust"

---

Contact

For further information, please contact Alexis Aurandt (aurandt@iastate.edu).