El máster se imparte en la Facultad de Informática de la Universidad Complutense de Madrid, que es el centro responsable y no está acreditado institucionalmente, y en la Escuela Técnica Superior de Ingenieros Informáticos de la Universidad Politécnica de Madrid, que también es centro responsable pero no tiene especificada su acreditación.El máster busca abordar los retos actuales en el desarrollo de software, especialmente en sistemas críticos que requieren alta fiabilidad, seguridad y eficiencia. Se centra en métodos formales basados en modelización matemática para garantizar la corrección y eficiencia de los sistemas informáticos. Además, pretende formar profesionales altamente cualificados en este ámbito, evitando la fuga de talento local y atrayendo estudiantes destacados. El máster se impartirá en inglés y está orientado a estudiantes interesados en doctorados o carreras en empresas tecnológicas.