Automatic deduction of the behavioral equivalence between two algebraic specifications
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/82438
Tipus de documentReport de recerca
Data publicació1995-01-01
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
CitacióPalasí Lallana, Vicent Ramon. "Automatic deduction of the behavioral equivalence between two algebraic specifications". 1995.
Forma partLSI-95-37-R
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
R95-37.ps | 279,3Kb | Postscript | Visualitza/Obre |