Для комп'ютерного аналізу стійкості за Ляпуновим запропоновано мультіплікативні критерії на основі різнецевого наближення розв'язку задачі Коші. Критерії можна застосовувати до звичайних диференціальних рівнянь у нормальній формі, вони містять необхідні та досатні умови стійкості.
