Welcome to the Knowledge-Based Systems Verification, Validation, and Testing Web page. This page will initially serve as a catalog for developments in the area. As more Web sites devoted to this and related topics come on-line, I expect that this site serve more of a coordination role.
These pages include contributions from Dan O'Leary and Nick Sizemore.
This page was last updated on January 24, 1997. Though I attempt to keep this set of Web pages current and accurate, any such guarantees would clearly be foolhardy.