Articulo de referencia

Planificador de Isa

IsaPlanner [ 1 ] es un planificador de pruebas para el asistente de pruebas interactivo Isabelle , desarrollado originalmente por Lucas Dixon. [ 2 ] Referencias ↑ IsaPlanner 2: ...

Hispanopedia WikiContenido en espanolLectura gratuita

IsaPlanner ^{[ 1 ]} es un planificador de pruebas para el asistente de pruebas interactivo Isabelle , desarrollado originalmente por Lucas Dixon. ^{[ 2 ]}

Referencias

↑ IsaPlanner 2: Un planificador de pruebas en Isabelle. Lucas Dixon y Moa Johansson. Descripción del sistema/Informe técnico. 2007.
↑ Un marco de planificación de pruebas para Isabelle. Lucas Dixon. Tesis doctoral, Universidad de Edimburgo. 2005.

Categoría :

Demostración automatizada de teoremas

Categorías ocultas:

Artículos con breve descripción
La breve descripción coincide con Wikidata.
Artículos sin referencias fiables de enero de 2014
Todos los artículos carecen de referencias fiables.