it's generally another layer on top of things like unit testing, MC/DC coverage, etc. not all programs use formal verification though.