программа верификации, верификатор условий Программа, анализирующая текст программы, снабженный условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях
English-Russian Computer dictionary
spelling checker
орфографический корректор Часть системы подготовки текстов, сравнивающая слова текста со словарем, обнаруживающая и отмечающая несоответствия и предлагающая возможные варианты исправления.