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://fitnessgravesyardes.shop/product-category/collections/