Correct Programs, Executed Correctly: Verifying Specifications and Executions - Ioannidis, Eleftherios (ProQuest Dissertations and Theses, 2025)