Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM. - Nikolaus Huber; Naomi Spargo; Nicolas Osborne; Samuel Hym; Jan Midtgaard (TACAS (3), 2025)