V&V methods for SCP evaluation of automated systems

Summary
A detailed list of commonlyused as well as stateoftheart experimental and analytical VV methods useful for evaluation of SCP requirements of automated systems