Formal Verification
Concordium Blockchain Research Center is developing formal verification methods for blockchain applications, a mathematical technique for proving that the software works as specified. The method of formal verification is developed for employment in high-stakes applications such as aeronautics software and banking software and is gradually applied.