Smart contract denial-of-service analysis using non-blocking verification. - Nishant Parekh; Wolfgang Ahrendt; Martin Fabian (Discret. Event Dyn. Syst., 2025)