Вы здесь

машинно-верифицируемый