The earner of the badge should be able to: Describe the benefits of managing proof decomposition using Proof Structure. Describe the major strategies enabled by Proof Structure: Assume-Guarantee, Case Split, Partitioning, Stopat, and Edit Node. Use each of the above strategies to decompose a complex proof in the Jasper tool. Run, debug and understand the results of proofs developed with Proof Structure. Leverage Proof Structure to set up signoff-quality verification in Jasper.

• Type Validation
• Level Intermediate