A survey of tools for the validation and verification of knowledge-based systems: 1985–1995 | Synapse