Extended ML is used for research into and teaching of formal program development and specification, and research into automatic program verification.
Extended ML utilízase para o ensino de desenvolvemento formal de programas, especificación de programas e para investigación en verificación automatizada de programas.