The only limits you have are the ones you place on yourself.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.