jMosel is a tool-set for the analysis and verification of linear parametric systems in monadic second-order logic on strings. In
this paper we give a short introduction to the underlying concepts, as well as an overview of the implementation and the usage
of jMosel.