Modeling and verification of a mixed structure with 3Muri Project