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

Main Author: Moscato, Mariano Miguel
Other Authors: Frias, Marcelo Fabián
Format: Tesis Doctoral
Language: Castellano
Published: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2013
Subjects:
PVS
Online Access: http://hdl.handle.net/20.500.12110/tesis_n5428_Moscato