What is formal code verification? Is it applicable for python code?

What it means? What it gives? How to use it? What is the benefit and how much effort it needs? I googled about it but everything is pretty fuzzy.