[PROPL'24] Formal Methods to Save the Earth | ACM SIGPLAN | Podwise