3 ms·

So then how is it any different from what most people already do? We already use assets liberally in development, specify everything in documentation, and then

So then how is it any different from what most people already do? We already use assets liberally in development, specify everything in documentation, and then use linting systems to tell us if we violate our rules? This just sounds like another name used by people to sound like they are doing something that was already being done in the professional. Edit: I'll read through that book, thanks!

AstralStorm 10y ago
In how much of the code are you actually applying those best practices? Are you verifying interactions between all modules? True formal verification checks everything, because anything unchecked shows up clearly as a baseless assumption (axiom).