ProPS (PRObabilistic cloud top Phase retrieval for SEVIRI) is a method to detect clouds and their thermodynamic phase with a geostationary satellite, distinguishing between clear sky and ice, mixed-phase, supercooled and warm liquid clouds. It uses a Bayesian approach based on the lidar–radar product DARDAR. The method allows studying cloud phases, especially mixed-phase and supercooled clouds, rarely observed from geostationary satellites. This can be used for comparison with climate models.