[webdev]

Using a commercial software package as an example, discuss which properties could be verified and which properties could be validated. Give one example to illustrate that some properties that can only be validated originally can be approximately transformed to properties that could be verified.