|
Title:
|
Automatic deduction of the behavioral equivalence between two algebraic specifications
|
|
Author:
|
Palasí Lallana, Vicent Ramon
|
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
|
Abstract:
|
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. |
|
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica
-Algebraic specifications |
|
Rights:
|
|
|
Document type:
|
Article - Published version
Report |
|
Share:
|
|
