Аксиоматическая семантика: описание программы через логические утверждения о правильности её работы и инварианты.
Статей пока нет. Будьте первым!