"The hard part is ensuring the product does not exhibit undesired behaviours. W"

The hard part is knowing what behaviours you want it to have, in the context of what is possible and what is not.