Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice