A Formal Equivalence Classes Based Method for - HAL