Mejoras a la demostración interactiva de propiedades Alloy utilizando SAT-Solving

Mostrar todas las versiones(3)

El análisis formal de especificaciones de software suele atacarse desde dosenfoques, usualmente llamados: liviano y pesado. En el lado liviano encontramoslenguajes fáciles de aprender y utilizar junto con herramientasautomáticas de análisis, pero de alcance parcial. El lado pesado nos ofrecelograr c...

Descripción completa

Detalles Bibliográficos
Autor principal: Moscato, Mariano Miguel
Otros Autores: Frias, Marcelo Fabián
Formato: Tesis doctoral publishedVersion
Lenguaje:Inglés
Publicado: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2013
Materias:
DEMOSTRACION DE TEOREMAS INTERACTIVA
SAT-SOLVING
CALCULO PARA ALLOY
PVS
ANALISIS DE ESPECIFICACIONES DE SOFTWARE
INTERACTIVE THEOREM PROVING
ALLOY CALCULUS
SPECIFICATION ANALYSIS
Acceso en línea:https://hdl.handle.net/20.500.12110/tesis_n5428_Moscato
https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=aextesis&d=tesis_n5428_Moscato_oai
Aporte de:
Repositorio Digital de la Universidad de Buenos Aires (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares