Resumen:
Dado el alto costo computacional de las técnicas tradicionales de model checking, para el caso en que el esfuerzo depende de la cantidad de símbolos involucrados se estudia el problema de reducción de especificaciones. Se modela el problema utilizando hipergrafos, se demuestra que la tarea es NP-completa, se implementan y eval´uan estrategias exactas, golosas y heurísticas sobre distintas familias representativas de instancias, se desarrollan y analizan otras mejoras complementarias y se integra la herramienta resultante con ReMo, un model-checker relacional para fork algebra. Se concluye que la nueva herramienta alcanza su propósito.
Citación:
---------- APA ----------
Martínez Viademonte, Javier. (2007). Reducción de especificaciones ecuacionales eliminando símbolos superfluos. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000758_MartinezViademonte
---------- CHICAGO ----------
Martínez Viademonte, Javier. "Reducción de especificaciones ecuacionales eliminando símbolos superfluos". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2007.https://hdl.handle.net/20.500.12110/seminario_nCOM000758_MartinezViademonte
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000758_MartinezViademonte.pdf
Distrubución geográfica
