lsp-behavioral-subtyping-undecidable

Status: IN

Behavioral subtyping as defined by LSP is undecidable in general because verifying all behavioral properties is equivalent to the halting problem.

Source: entries/2026/06/17/liskov-substitution-principle.md

Depended on by

• complete-type-specification-achievable
• expert-lifecycle-coverage-robust
• full-scale-design-verification-bounded
• total-design-coverage-bounded-by-verification
• unified-methodology-verification-bounded
• variation-lifecycle-type-safe

JSON