Ở nhiệt độ phòng, khi khí carbon dioxide được điều áp đến khoảng 101325PA, khi một phần của hơi được làm lạnh đến khoảng -56 độ C, nó sẽ đóng băng thành carbon dioxide rắn. Nhiệt hóa khí hóa của carbon dioxide rắn rất lớn, 364.5J /g ở -60 độ C và nhiệt độ xung quanh có thể được giảm xuống khoảng -78 độ C khi khí ở áp suất khí quyển và không có chất lỏng nào được tạo ra, vì vậy nó được gọi là "đá khô".
Môi trường băng khô được sử dụng trong làm sạch máy bay phản lực khô là tạo ra các hạt đá khô chắc chắn thông qua một máy tạo đá khô, có thể được sử dụng ngay lập tức hoặc được lưu trữ trong máy ấp trứng để sao lưu. Các hạt này thường có đường kính 3 mm và chiều dài 2,5mm đến 10 mm. Trong phương pháp này, CO₂ chất lỏng áp suất cao được đẩy ra từ đường ống thành một Co₂ giống như tuyết, và CO₂ giống như tuyết được ép vào các hạt băng khô bởi áp suất chất lỏng qua khuôn.


