Keeping a secret and leaping a building are two distinct properties with different techniques the formally verified operating system microkernel, seL4 [4], and designing and verifying systems built on top.
A fixed cooling concept is used in the design of evaporative heat rejection systems for process and power plants.