Diferencia entre revisiones de «Theory of Refinements in PVS»
| Línea 13: | Línea 13: | ||
|- | |- | ||
| '''Code:''' | | '''Code:''' | ||
| − | | You can find the PVS theories [http://www.cs.us.es/~mjoseh/pub/refinamiento.tgz | + | | You can find the PVS theories |
| + | * [http://www.cs.us.es/~mjoseh/pub/TeoriasPVS/Version_PVS-3.2/refinamiento.tgz Version PVS-3.2]. | ||
| + | * [http://www.cs.us.es/~mjoseh/pub/TeoriasPVS/Version_PVS-4.2/refinamiento.tgz Version PVS-4.2]. | ||
|- | |- | ||
| '''Documentation:''' | | '''Documentation:''' | ||
| [http://www.cs.us.es/~jalonso/trabajos_dirigidos/2004-tesis-MJHD.pdf Teoría computacional (en PVS) de la programación lógica y del análisis formal de conceptos] (Tesis, Universidad de Sevilla, 2004). | | [http://www.cs.us.es/~jalonso/trabajos_dirigidos/2004-tesis-MJHD.pdf Teoría computacional (en PVS) de la programación lógica y del análisis formal de conceptos] (Tesis, Universidad de Sevilla, 2004). | ||
|} | |} | ||
Revisión del 11:14 7 oct 2010
| 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). |
