Validation and verification of intelligent systems - what are they and how are they different?

DOI10.1080/095281300454793zbMath1010.68181OpenAlexW2072640639MaRDI QIDQ4783354

Valerie Barr, Avelino J. Gonzalez

Publication date: 4 December 2002

Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/095281300454793

zbMATH Keywords

verificationexpert systemsvalidation

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Structure-based validation of rule-based systems

This page was built for publication: Validation and verification of intelligent systems - what are they and how are they different?