Mathematical Specification Errors
Meaning ⎊ Conceptual mistakes in the formal definition of a system that lead to correct code performing incorrect financial actions.
