В докладе будет рассказано о собственном и заимствованном опыте популяризации среди школьников и студентов формальным методов разработки и анализа программного обеспечения.