Program analysis

process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness