Comment by csbartus

I'm writing a study about how to write likely-correct studies ... :)

This is a second part of a series on likely-correctness, the first is how to create likely-correct software: https://www.osequi.com/studies/list/list.html