Creadores Top en Teoría de la computación y verificación de programas