Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • LoginRegisterLog in (no UPC users)
  • mailContact Us
  • world English 
    • Català
    • Castellano
    • English
  • userLogin   
      LoginRegisterLog in (no UPC users)

UPCommons. Global access to UPC knowledge

Banner header
61.652 UPC E-Prints
You are here:
View Item 
  •   DSpace Home
  • E-prints
  • Altres
  • Enviament des de DRAC
  • View Item
  •   DSpace Home
  • E-prints
  • Altres
  • Enviament des de DRAC
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Reduction of behavioral equivalence to inductive theorems

Thumbnail
View/Open
1400244616.pdf (2,944Mb)
  View Usage Statistics
  LA Referencia / Recolecta stats
Cita com:
hdl:2117/97229

Show full item record
Palasí Lallana, Vicent Ramon
Document typeResearch report
Defense date1996-01
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder
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.
CitationPalasi, V. "Reduction of behavioral equivalence to inductive theorems". 1996. 
Is part ofLSI-94-10-R
URIhttp://hdl.handle.net/2117/97229
Collections
      View Usage Statistics

    Show full item record

    FilesDescriptionSizeFormatView
    1400244616.pdf2,944MbPDFView/Open

    Browse

    This CollectionBy Issue DateAuthorsOther contributionsTitlesSubjectsThis repositoryCommunities & CollectionsBy Issue DateAuthorsOther contributionsTitlesSubjects

    © UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

    info.biblioteques@upc.edu

    • About This Repository
    • Contact Us
    • Send Feedback
    • Privacy Settings
    • Inici de la pàgina