Formal Methods in Programming and Their Applications