Multi-Voltage Static Timing Analysis is a formal timing verification methodology that analyzes the timing behavior of digital circuits operating under multiple supply voltages by extending static timing analysis to account for voltage-dependent delay variations and level-shifting transitions across voltage domains.