Verifiability
Software is verifiable if satisfaction of desired properties can be easily determined
- verifiability is an internal quality
- verification can be performed by formal analysis or by testing
- verifiability can be improved by monitoring the desired properties
- verifiability is also enhanced by modularity, discipline, and standards
Verifiability is affected by many other qualities – e.g., understandability, reliability, and visibility