Адапт: идеи для переименования

[VTsarevNSU]

смысл названия ADAPT разошёлся с добавлением model checking альтернативы: MoDePAT DePloMAT Teya SeLENE (semantic LuNA evaluator and examiner)