Here's a RIACS paper (NASA) from around 2000 summarizing a workshop
on Verification and Validation. Interesting to see the problems
they feel they're having.
http://eprints.riacs.edu/documents/data/00/00/00/42/index.htmlCarl Tollander
[hidden email]
(505) 660-5003
"The universe is full of magical things,
patiently waiting for our wits to grow
sharper." - Eden Philpotts