> -- Geniepro писал(а):
> для системных задач, был разработан для написания на нём верифицированных ядер операционных систем.
Хотелось бы узнать как делается верификация для функциональных языков. Читал, что верификация для функциональных языков делается достаточно просто, но сам метод верификации не видел. Может кто-нибудь просто и доступно объяснить как оно делается или же дать ссылку, где хорошо объяснено?