Examples

The pages below include step-by-step examples for writing a specification using C2PO, compiling that specification, then running R2U2 over a simulated trace.

Examples

• Assume-Guarantee Contract Example
• Simple Example