Correct by design

Correct by design(Q) is a design and engineering principle that all systems must be designed and built in ways that make incorrect implementation and usage is either infeasible or at least impractical. This maybe accomplished by thinking of everything in a unifying primitive, and making sure that all aspects of this primitive are systematically designed in ways that prevents error. One such approach is Anothony Hoare's Hoare Triple or Hoare Logic. From a pragmatic viewpoint, one may organize tools and technologies in ways to systematically track and avoid error, such as using Verion Control, Blockchain, Ricardian Contract, and Relational Database to capture the entirety of a system in ways that avoids mistakes.

There are some references on this subject: Correct by Design written by Eugeny Kolpakov.