A formal verification campaign is a multi-hour or multi-day formal verification test using a Formal Verification tool often with dedicated hardware. Tools such as Manticore provide out-of-the-box support for fuzzing campaigns.
