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.
No one has posted to this discussion for at least three months. Please let old threads die and do not reply to them unless you feel you have something new and valuable to contribute that absolutely must be added to make the discussion complete. Otherwise, please start a new thread in this forum instead.
Unsolved 
