Combinando ejecución simbólica y verificación de modelos para reducir la sobrecarga del análisis dinámico del programa

Este documento aborda el problema de reducir la sobrecarga de supervisión del tiempo de ejecución para programas en los que se requiere una supervisión detallada de los eventos. Para ello complementamos modelar técnicas de verificación con métodos de razonamiento simbólico y mostrar que, bajo cierta...