Machine aided computation for system validation and verification

Validation: by simulation and testing (only partially explore the possible states)

Verification: by theorem proof, formula rewriting, prove checker, model checking. The common feature is that these techniques consider all the behavior of a system. Model checking is a little bit similar to validation as it explores all the possible trajectories of a system, but with symbolic algorithms.