Using Formal Methods to Validate Research Hypotheses: The Duolingo Case Study. - Antonio Cerone; Aiym Zhexenbayeva (STAF Workshops, 2018)