Let me define the terms I used to see if that clears it up at all.

Working software: Does the software satisfy the use case?

Correct or safe: does the software enter into any invalid states? Are edge cases handled?

Does that help?