Micrologicx | Verification