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.
Gatayo
0
Newbie Poster
Recommended Answers
Jump to PostWhat is your question here ?
All 2 Replies
ithelp
757
Posting Virtuoso
Banned
What is your question here ?
BestJewSinceJC
700
Posting Maven
My question for him is why he couldn't at least thinly veil the obvious COTS "my professor wrote this and then I pasted it on daniweb"... question
Be a part of the DaniWeb community
We're a friendly, industry-focused community of developers, IT pros, digital marketers, and technology enthusiasts meeting, networking, learning, and sharing knowledge.