| 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).
|
