Execute Your Darlings: Dynamic Execution of High-Level Formal Specifications for Validation and Early Prototyping. - Robert Kunzelmann; Zeyad Tahoun; Wolfgang Ecker (RAPIDO@HiPEAC, 2025)