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