Integrating Runtime Verification into a
Sounding Rocket Control System

Benjamin Hertz, Zachary Luppen, Kristin Y. Rozier

This webpage contains research artifacts from "Integrating Runtime Verification into a
Sounding Rocket Control System" by B. Hertz, Z. Luppen, and K. Y. Rozier

---

For further information or questions, please contact Ben Hertz (bhertz2@illinois.edu) and Zach Luppen (zaluppen@iastate.edu).