IS Muri is a software designed for the calculation and verification of gravity, semi-gravity and cantilever retaining walls, with counterforts or keys. The wall can be characterized by the presence of piles, micropiles, tiebacks (active and passive); it can have any kind of geometry and it can also include a simple or a complex footing with variable thickness. User is free to assign or not assign an inclination to the foundation and to the wall surface (both inside and outside). IS Muri performs the verification of structural elements in each significant section according to the Limit States method, as required by Eurocodes and NTC 2008. The analysis can be carried out both in static and dynamic conditions.