formal program validation

Формальний доказ правильності програми