Thomas Reps

Un nuevo método simplifica la prueba de propiedades de programas usando lógica de no realizabilidad.

Este artículo presenta un método para crear automáticamente semántica formal usando intérpretes.

Explorando nuevos métodos para generar programas de manera eficiente.