VeriOpt

Verify. Optimise. Improve