The earner of the badge shall be able to: • State what a liveness property is in Formal Verification • Understand when to use and not to use liveness properties • Interpret and debug the infinite length counterexample waveforms • Understand common causes of complexity in liveness proofs • Modify liveness properties to provide useful proofs despite known failure modes • Diagnose complex liveness failures • Understand vacuity issues and related hazards before signing off on liveness proofs

• Type Validation
• Level Intermediate