Biblioteca de la Universidad Complutense de Madrid

Tableaux verification tool

Impacto



Berbis González, Eduardo y León Guerrero,, Saúl y Orna Ruiz, Eva Pilar (2011) Tableaux verification tool. [Trabajo de curso] (No publicado)

[img]
Vista previa
PDF
4MB


Resumen

Mientras la lógica juega un papel muy importante en varias áreas de la ciencia informática, la mayoría del software educativo desarrollado para la enseñanza lógica ignora su aplicación en una parte más amplia del dominio de la enseñanza de la ciencia informática. En este trabajo, describimos una novedosa metodología cimentada en una herramienta de enseñanza lógica. Dicha enseñanza lógica está basada en tableaux semánticos para presentar a los estudiantes una nueva aplicación de la lógica como técnica de prueba formal en otros ámbitos de la ciencia informática, tales como la verificación formal y la depuración declarativa de programas imperativos, las cuales representan la base de un buen desarrollo del software.
[ABSTRACT]
While logic plays an important role in several areas of Computer Science, most educational software developed for teaching logic ignores their application in a more large portion of the Computer Science education domain. In this work, we describe an innovative methodology based on a logic teaching tool on semantic tableaux to prepare students for using as a formal proof technique in other topics of Computer Science, such as the formal verification and the declarative debugging of imperative programs, which are at the basis of a good development of software.


Tipo de documento:Trabajo de curso
Información Adicional:

Proyecto de Sistemas Informáticos (Facultad de Informática, Curso 2010-2011)

Palabras clave:Verificación formal, Depuración algorítmica, Tableaux, Ciencia informática, Programas imperativos, Formal Verification, Declarative Debugging, Computer Science, Imperative Programs
Materias:Ciencias > Informática > Software
Código ID:13030
Depositado:25 Aug 2011 07:41
Última Modificación:06 Feb 2014 09:38

Sólo personal del repositorio: página de control del artículo