checkmDL - The Evolution of Verification