One challenge I have with pitching formal methods is that many companies just don't see the point. They think it sounds academic or out of touch with modern software. It's almost impossible to convince them otherwise. In my experience, the only thing that works is a demo.
-
-
Pretty much. Most formal methods tools can't pass the vetting process, sans a few extremely proprietary and expensive ones.
-
Most tools used in aerospace are proprietary and expensive (including compilers, or at least they used to be).
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.