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