Certification Using Analysis and Simulation