Верификация сортировки вставками. Реализация рекурсивных функций с неструктурной рекурсией.
Introduction to Formal Verification