There is no single technique to verify/validate a whole system in practice. Thus, our research is focused on finding a variety of techniques, often novel combinations of techniques, to support verification and validation of complex systems including robotic and autonomous systems. In particular, rigorous proof complemented by simulation with intelligent strategies for test generation combined with field testing can provide convincing evidence of a system’s trustworthiness.