Аннотация:В работе приводится обзор средств верификации, так или иначе связанных с разработанным в 2014 году средством Vermont (Verifying Monitor): само средство, предшественники, аналоги, конкуренты. Цель обзора - изучение прогресса по соответствующей теме за последние годы для определения перспектив по усовершенствованию математической части средства Vermont.