Benjamin Delaware

Un método para verificar automáticamente las estructuras de datos contra invariantes de representación usando técnicas avanzadas.

Explorando nuevas formas de mejorar la verificación de pruebas en la ingeniería de software.