ACL2 Seminar
May 19, 2010

Robert Krug will give an introduction to temporal logic.  After briefly
going over the definitions of CTL and LTL, he will talk about what
can be expressed in one but not the other.  He will also talk about
the differences between formulae such as AFAXp and FXp.