An overview of current practice and research initiatives for the verification and validation of KBS by Terri Lydiard. Published by Artificial Intelligence Applications Institute, University of Edinburgh in 1992. Publication and catalogue information, links to buy online and reader comments.