4 ms·

There is no easy way. There are ways to prove software correctness, but it is far from easy

• TeMPOraL 11y ago
  And because you can only prove software to be correct given some specific conditions, your provably correct system will eventually get pwned through a side channel anyway.
• PhasmaFelis 11y ago
  I guess I'm thinking that, for a simple hardware system with a handful of inputs and a handful of outputs, there's no need for it to be able to support a full command line, various ports and protocols, etc, etc. There should be a setup where it is completely closed off by default, and the developer enables a few specific I/O channels that only interact with the logic the dev programmed in. I may be oversimplifying things. Or maybe I've just reinvented old-fashioned embedded circuits, which still work fine but are out of fashion because devs want to work with their familiar tools.