It's not impossible but it does require some relatively unfamiliar architectural approaches coupled with a lot more use of formal methods. Completely agree abo

It's not impossible but it does require some relatively unfamiliar architectural approaches coupled with a lot more use of formal methods. Completely agree about SpecEx. That's a misfeature that needs to die.