Lifecycle Verification of the NASA Ames K 9 Rover Executive