Exhaustive formal verification for systems of systems (SoS) is impractical and cannot be applied on a large scale. In this paper we propose to use statistical model checking for efficient verification of SoS. We address three relevant aspects for systems of systems: 1) the model of the SoS. which includes stochastic aspects; 2) the formalization of the SoS requirements in the form of ... https://www.chiggate.com/3m-speedglas-9002nc-welding-helmet-fashion/