This course introduces the tools and models that will allow attendees to develop high confidence in the resulting system's proper operation prior to any operational test. Included are tools for model-based systems engineering, and cyber-physical system verification and validation currently in use by the CPS industry. Numerous examples will be considered, from aerospace, automotive, medical devices etc. The frequent presence of human operators is also acknowledged and discussed in-depth. Various verification and validation formalisms (formal methods) are described and applied to simple examples.