Tag: abstract-interpretation

Patrick and Radhia Cousot gave static analysis a mathematical foundation in which program behavior is safely approximated in abstract domains, making automated proofs possible without enumerating every execution.