Verification-Calc2 Calc2 present a greater verification challenge than does Calc1. The codes of Calc2 are coded in three different ways.