2003 NASA OSMA Software Assurance Symposium SARP Initiative 583 The Use of a Virtual System Simulator & Executable Specifications to Enhance SW Validation, Verification,…