Sim, pelas fotos parecem claramente mammatus.
Estão geralmente associados a tempestades severas, mas não sempre necessariamente:
A formação das nuvens Mammatus é rara e na maioria das vezes está associada à formação de nuvens do tipo cumulonimbus, mas também podem ocorrer na alta atmosfera associadas a stratocumulus, altocumulus, altostratus, cirrus e cirrocumulus.