| |
Непомнящий, В. А.
Верификация финитных итераций над наборами изменяемых структур данных [Текст] / В. А. Непомнящий
// Кибернетика и системный анализ. – 2007. – № 3. – 33-46.
Основным подходом к дедуктивной верификации программ является аксиоматический подход, который базируется на методе Хоара |
