@inproceedings{7d1296ce30144246b81f79ee1572dda8,
title = "Designing verifiable expert systems",
abstract = "With the long-range goal of developing a practical methodology for complete verification and validation of expert systems, the authors have investigated methods for designing knowledge bases so that they can be easily verified. These methods are based on extensions of traditional software verification technology and on emerging artificial intelligence programming technology. After discussing the background of this work, the authors describe the methods and their benefits to verification and discuss ongoing and future research activities.",
author = "John Yen and Jonathan Lee and David Hamilton",
year = "1990",
language = "English (US)",
isbn = "0818620846",
series = "Proc 2 Int IEEE Conf Tools Artif Intell",
publisher = "Publ by IEEE",
pages = "878--884",
booktitle = "Proc 2 Int IEEE Conf Tools Artif Intell",
note = "Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence ; Conference date: 06-11-1990 Through 09-11-1990",
}