Los asistentes de pruebas son una herramienta de software donde es posible desarrollar pro- gramas sobre los cuales se pueden demostrar propiedades y as ́ı certificarlos. Esto es posible a trav ́es de teor ́ıas de tipo ...