https://www.9-tuplesys.ro/w/bim/code-based-verification-design/