Geant4 simulation of high energy muon interactions

The set of models describing production and interaction of high energy muons is developed in the framework of the Geant4 toolkit. It includes following processes or models: ionization of high energy muons with radiative corrections, bremsstrahlung, electron-positron pair production, muon induced nuclear reactions, gamma annihilation into muon pair, positron annihilation into muon pair, and into pion pair. These models are essential for LHC experiments, for understanding of the background for underground detectors, for simulation of atmospheric showers induced by muons and for simulation of backgrounds in future colliders. The applicability area of the models extended to 1 PeV. The major use-cases and methods of validation of the models are discussed.