Инварианты в программировании и верификация кода: Основы и примеры