Properly used formal verification, could make unhackable software, but expensive, because of this used rarely. For example, I know people, who made formal veri

Properly used formal verification, could make unhackable software, but expensive, because of this used rarely. For example, I know people, who made formal verification of their soft for power plants.