Дегса: исследование методов предсказания значений переменных

[VTsarevNSU]

Необходимо исследовать, какие есть методы, позволяющие отслеживать состояние программы в каждой вершине, чтобы обнаруживать ошибки, которые зависят от состояния программы.