Đá khô–băng khô- dry ice là CO2 ở dạng rắn (đóng băng). Thuật ngữ này được Prest Air Devices tạo ra năm 1925 (công ty thành lập năm1923 tại thành phố Long Island, New York). Băng khô dưới áp suất thường không nóng chảy thành điôxít cacbon lỏng mà thăng hoa trực tiếp thành dạng khí ở -78,5 °C (-109,3 °F). Vì thế nó được gọi là “băng khô” như là cách gọi để so sánh với băng “ướt” . Đá khô được sản xuất bằng cách nén khí điôxít cacbon thành dạng lỏng, loại bỏ nhiệt gây ra bởi quá trình nén, và sau đó cho điôxít cacbon lỏng giãn nở nhanh. Sự giãn nở này làm giảm nhiệt độ và làm cho một phần CO2 bị đóng băng thành “tuyết“, sau đó “tuyết” này được nén thành các viên hay khối.