|
|
|
|
|
|
by imtringued
128 days ago
|
|
|
>* Formal verification, which is very widely used in hardware and barely used in software (not software's fault really - there are good reasons for it). When developing with C, model checking or at least fuzzing is practically mandatory, otherwise it is negligent. |
|
|