Formal verification mathematically proves that code or mathematical specifications adhere to designated security properties