Mostra el registre d'ítem simple

Reduction of behavioral equivalence to inductive theorems

dc.contributor.authorPalasí Lallana, Vicent Ramon
dc.date.accessioned2016-11-25T10:35:30Z
dc.date.available2016-11-25T10:35:30Z
dc.date.issued1996-01
dc.identifier.citationPalasi, V. "Reduction of behavioral equivalence to inductive theorems". 1996.
dc.identifier.urihttp://hdl.handle.net/2117/97229
dc.description.abstractWe 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.
dc.format.extent31 p.
dc.language.isoeng
dc.relation.ispartofseriesLSI-94-10-R
dc.subjectÀrees temàtiques de la UPC::Informàtica::Programació
dc.subject.otherBehavioral equivalence
dc.subject.otherInductive theorems
dc.titleReduction of behavioral equivalence to inductive theorems
dc.typeExternal research report
dc.rights.accessOpen Access
local.identifier.drac1904622
dc.description.versionPostprint (published version)
local.citation.authorPalasi, V.


Fitxers d'aquest items

Thumbnail
Nom:
1400244616.pdf
Mida:
2,944Mb
Format:
PDF
Visualitza/Obre

Aquest ítem apareix a les col·leccions següents

    Mostra el registre d'ítem simple