Conversation

Is there a standard term for the inability to trust an implementation of an interface to be correct? (notably when mem-safety is at stake)
4
5