Reduction of behavioral equivalence to inductive theorems

View/Open
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
Collections
Files | Description | Size | Format | View |
---|---|---|---|---|
1400244616.pdf | 2,944Mb | View/Open |