Verification and Error Correction on High-Level Decision Diagrams