Efficient verification of MASs with projections