Verifying stability of dynamic soft-computing systems | lit.salon