2 ms·
What kind of verification is done without a formal system?
by naasking 4y ago
What kind of verification is done without a formal system?
- marcosdumay 4y agoWe usually call those "tests", but some people do really like non-formal linter rules too. (Personally, I abhor checking rules with high false positive odds.) AFAIK, those are the only ones in common use, but differently from formal ones, non-formal things tends to come on a multitude of widely different types. So I wouldn't be surprised if people have invented many more.