Theory of Refinements in PVS

De WikiGLC
Saltar a: navegación, buscar
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).