Midas
 http://midasit.ru/
 Верификационные задачи Midas
 Форум dwg.ru: MIDAS GTS - миф или реальность?