The process, using formal methods, of evaluating a system or software component to determine whether it functions as expected and achieves the intended results.
artwork21
- 35.2k
- 8
- 67
- 134
