We address the problem of the usability of temporal logic.
Historically, the usability issue has focused on the
relative merits of branching versus linear time, but we
believe that the problem is not completely addressed by
one or the other. Our solution is the temporal logic
Sugar. Sugar adds the power of regular expressions to
CTL. In addition, it adds syntactic sugar: an extensive
set of operators which allow complicated properties to be
expressed succinctly in an intuitive manner.