You Already Used Formal Methods but Did Not Know It