Université de Lorraine, Nancy, Франция
Магистерская программа Университета Лотарингии в Нанси по разработке надёжного ПО и формальным методам, преподаётся на английском, рассчитана на иностранных студентов. Длительность 2 года, стоимость около 8000 евро в год для не-ЕС.