7 ms·

Make formal methods cheaper and easier to use.

• stcredzero 9y ago
  That's the wrong way to frame that problem. Formal methods generally have a mindshare problem that underlies their cost problems. Make formal methods more accessible to the average programmer.
  • ScottBurson 9y ago
    It's not clear to me that you're disagreeing. "Cheaper and easier to use" and "more accessible" could be the same thing.
    • stcredzero 9y ago
      In the end, it is. But maybe not on a micro level, which keeps environment designers from doing the right thing to get more mindshare.