Error Alerts

You will make syntactic errors during your editing work in protocol derivation. For example, in the next figure you can see that the protocol name CS[A,B] has been mistakenly entered in refining the parent CR[A,B] to create CRI[A,B]. To expose the error report, simply hold the cursor over the red circle (no clicking needed).

Notice in the next figure that not only has the protocol name been corrected, but the incorrect response term y has been replaced with the desired term x.

You may navigate among the error alerts by the arrows in the Pda application toolbar. Please see the Main Panel section.