GaCeLa#

GCL es el nombre genérico de la notación Guarded Command Language de Dijkstra junto con las tripletas de Hoare y sus variantes (Notaciones de Kaldewaij, Morgan, etc).

GaCeLa es el nombre de la versión de la notación GCL implementada en la Universidad Simón Bolívar. Se trata de una aproximación a un compilador verificante que genera programas que deben cumplir con su especificación o bien son interrumpidos durante su ejecución.

GaCeLa está siendo utilizado en la USB para la enseñanza de la algorítmica en Algoritmos y Estructuras I y Algoritmos y Estructuras II.

Participantes #

Motivaciones#

Objetivos docentes#

Actividades#

El lenguaje#

Demostraciones#

Refinamiento#

Distribución#

Trabajos relacionados#

Bibliografía#

Usuarios de GaCeLa#

Algoritmos y Estructuras I #

Algoritmos y Estructuras II#

Instrucciones de instalación de Gacela en Win#

Instrucciones de instalación de Gacela en Linux#