Verification-based software-fault detection