It basically solved programming: semi-automated design, auto-coding, auto-testing, real-time stuff, cross-platform... the works. The problem is the modelling language (USL) sucks and the performance did at some point. That was per a review from someone at NASA I believe. You know your modelling language needs improvement when NASA scientists have trouble with it. ;) It&#x27;s also expensive.<p>I think it might work out if they use a different language. Sugar-coat it, make it more flexible, or even build on an existing prover like Coq or HOL with a subset of its typical usage. It would make it easier for developers to pick up. It would make their end a lot harder, though, as the tool attempts to solve and integrate a series of Mega-Hard problems. Like EDA, but not binary.<p>That she and her crew got this far is impressive. It&#x27;s the standard I hope to exceed someday with more usable tools that optionally perform better.