У цій роботі розглядаються питання та особливості валідації формул для системи моделювання вставки (IMS), зокрема для системи Алгебраїчної Віртуальної Машини (AVM), якою володіє "PE LitSoft". Ми надаємо основні кроки, ...