@phdthesis{mine:tel-00136630, TITLE = {{Weakly Relational Numerical Abstract Domains}}, AUTHOR = {Min{\'e}, Antoine}, URL = {https://pastel.hal.science/tel-00136630}, SCHOOL = {{Ecole Polytechnique X}}, YEAR = {2004}, MONTH = Dec, KEYWORDS = {static analysis ; abstract interpretation ; numerical abstract domains ; safety critical embedded software ; analyse statique ; interpr{\'e}tation abstraite ; domaines num{\'e}riques abstraits ; logiciels critiques embarqu{\'e}s}, TYPE = {Theses}, PDF = {https://pastel.hal.science/tel-00136630/file/these-color.pdf}, HAL_ID = {tel-00136630}, HAL_VERSION = {v1}, }