<div dir="ltr">What's up with using GOTO in very secure applications? Isn't it wiser to use a functional programming -ish approach? IOW: Isn't this far harder to validate?<div><br></div><div>I'd just like some thoughts from people who worked with this sort of software. An answer to the question "Isn't there some big way to do things such that it will be easier to know if it's fully correct now". (this is not about functional vs imperative programming, just about validatable style)</div>

</div>