Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM.

Nikolaus Huber, Naomi Spargo, Nicolas Osborne, Samuel Hym, Jan Midtgaard

Browse the full TACAS paper archive.