program verification
Program verification is the process of using mathematical techniques and rigorous analysis to ensure that a software program meets specified requirements and performs as intended, through thorough testing, simulation, and formal verification methods.
Requires login.
Related Concepts (1)
Similar Concepts
- formal verification
- monitoring and verification
- performance evaluation
- program administration
- program analysis
- program evaluation
- program evaluations
- program slicing
- program vulnerability
- programming
- programming bugs
- programming errors
- programming interface
- programming languages
- run-time code verification