Program that learnes black-box systems (modeled as automata) and validates their behavioral equivalence