Hidden Beliefs in Verification Strategies

Joanna Joseph, Alejandro Salado (University of Arizona)

Keywords
Verification;verification strategy;belief;AI;belief network
Abstract
The objective of this research is to study the formation of engineers’ beliefs during the engineering and design of systems. The hypothesis is that engineers possess hidden belief networks that are used to assess the correct operation of a system, and will make those only explicit if certain design features conflict with those structures.