At a high level, the main uses for formal methods in the SDLC include—
u Writing the software’s formal specification
u Proving properties about the software’s formal specification
u Constructing the software program through mathematical