Szukana fraza: [Abstract = "In this paper, we provide a short overview of possibilities to formulate non\-smooth problems and point out connections between the traditional non\-smooth theory and interval analysis. Moreover, we summarize already existing verified methods for solving initial value problems with non\-smooth \(in fact, even not absolutely continuous\) right\-hand sides and propose a way of handling a certain practically relevant subclass of such systems."]