Runtime Verification of Real Time Properties and Bounded Model Checking In the Thorium Reactive Programming Language - Baldor, Kevin (ProQuest Dissertations and Theses, 2024)