3 ms·
Testing exists. > formal verification Outside of limited specific circumstances, formal verification gives you nothing that tests don't give you, and it makes
by habinero 7mo ago
Testing exists.
> formal verification
Outside of limited specific circumstances, formal verification gives you nothing that tests don't give you, and it makes development slow and iteration a chore. People know about it, and it's not used for lot of reasons.
- threethirtytwo 7mo agoThis statement shows an intense lack of technical knowledge. You’re probably one of those ignorant managerial types. First type checking is a form of formal verification and it’s used everywhere. Second have you heard of rust? Do you know why it’s becoming an alternative to C++ or C? Entirely because of its type checker or aka formal verification. It is the literal main reason why rust was created. Have you heard of typescript? It’s essentially a formal verification layer over JavaScript. Everyone uses it now for the front end. You don’t know what you’re talking about. I recommend you do some research before saying anything on this site.