A Co-semidecision procedure for behavioral equivalence

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/96721

Title:	A Co-semidecision procedure for behavioral equivalence
Author:	Palasí Lallana, Vicent Ramon
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::Informàtica teòrica -Behavioral equivalence -Algebraic specifications -Automatic deduction
Rights:
Document type:	Article - Published version Report
Share: