Search
Now showing items 1-2 of 2
Compilación Certificada sobre Máquinas Abstractas de evaluación normal
(2017-03)
En esta tesis se analiza cómo demostrar la corrección de compiladores de lenguajes con evaluación normal, utilizando máquinas abstractas como entornos de ejecución. En particular se presenta una prueba de corrección de un ...
Automatización de técnicas de división por importancia para la simulación de eventos raros
(2017-05)
Existen muchas técnicas para estudiar y verificar descripciones formales de sistemas probabilistas. La simulación de Monte Carlo por eventos discretos ofrece una alternativa para la generalidad de procesos estocásticos ...