If you have experience, what would be the rebutal to my fear of the "catch-22" ?
What I mean is, how often does it happen that you think about a problem right, but fail to transcribe that in a formal method, you gives you either too much confidence in a model that does not work, or makes you feel you have wasted your time on mental self-molesting ?
How do you approach "experimenting" with formal methods to avoid this risk ?
If you have experience, what would be the rebutal to my fear of the "catch-22" ?
What I mean is, how often does it happen that you think about a problem right, but fail to transcribe that in a formal method, you gives you either too much confidence in a model that does not work, or makes you feel you have wasted your time on mental self-molesting ?
How do you approach "experimenting" with formal methods to avoid this risk ?