Last night it was announced that our TACAS-paper 'Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM' co-authored with Nikolaus Huber, Naomi Spargo, Nicolas Osborne, and Samuel Hym won the 2025 @etapsconf.bsky.social's Best Tool Paper Award 🎉

#testing #pbt #award