To access the full text documents, please follow this link: http://hdl.handle.net/2117/97229
|
Title:
|
Reduction of behavioral equivalence to inductive theorems
|
|
Author:
|
Palasí Lallana, Vicent Ramon
|
|
Abstract:
|
We shall demonstrate that proving the behavioral equivalence of two algebraic specifications can be reduced to proving a set of inductive theorems. So we can prove automatically this behavioral equivalence by applying automatic deduction techniques such as proof by consistency. |
|
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica::Programació
-Behavioral equivalence
-Inductive theorems |
|
Rights:
|
|
|
Document type:
|
Article - Published version
Report |
|
Share:
|
|
Show full item record
