The IOHK team developing Cardano using formal methodologies associated with programming languages and the mathematical verification of software systems.
A short overview of the mathematical Formal Verification process.
The case for Formal Specifications by Duncan Coutts (Director of Engineering) and Jonn Mostovoy (Lead Developer)
Philipp Kant, Director of Formal Methods at IOHK
IOHK Talk: Formal Design, Implementation and Verification - Professor Grigore Rosu (CEO Runtime Verification - leaders in K Framework and developers of IELE VM)