Title:
|
Theory of refinements in PVS.
|
Authors:
|
José A. Alonso and María J. Hidalgo.
|
Date:
|
2002.
|
Description:
|
Based on the notion of refinement used for Dold and Jones we have built a PVS theory establishing the general notions of refinements and its main properties. As a case study, we have established a refinement of the theory of finite sets by the theory of lists.
|
Code:
|
You can find the PVS theories
|
Documentation:
|
Teoría computacional (en PVS) de la programación lógica y del análisis formal de conceptos (Tesis, Universidad de Sevilla, 2004).
|