manipulation of its formal specification
u Using mathematical arguments and proofs to verify the properties
of a program.
Note: The majority of formal methodsfocus either on formalconstruction or on after-the-factverification, but not both.