A Co-semidecision procedure for behavioral equivalence
Palasí Lallana, Vicent Ramon · 1996
We shall demonstrate that proving the behavioral equivalence of two algebraic specifications is equivalent to proving a set of theorems in a given initial algebra. Thus, it is possible to prove automatically this behavioral equivalence by use of automatic deduction techniques.