Abstract :
IV&V is rapidly growing in importance and complexity as modern software systems become increasingly critical to global human endeavors. In particular, software is more and more becoming an inescapable ingredient within safety critical systems such as those found within aerospace and within the economically critical systems of global industries.