When formally verifying compliance with requirements, we generally acknowledge four methods of verification: test, analysis, demonstration, and inspection.
Some paradigms consider Simulation to be distinct from other types of analyses. Although I disagree with them, I usually try to just keep coloring as fast as I can.
Certain individuals consider that there are far more than just four or five methods. See, for example, the author’s Extended Verification Methods.