Stav dette: Verification by error modeling