Difference between revision 3 and current revision
Summary: Rollback to 2008-09-05 00:16 UTC
No diff available.TemporalLogicOfActionsMode is an Emacs mode for editing specifications in TemporalLogicOfActionsPlus? (TLA+), a formal specification language defined by LeslieLamport? on top of his TemporalLogicOfActions?.
TemporalLogicOfActionsMode can be downloaded from http://ls4-www.informatik.uni-dortmund.de/RVS/P-TLA/TEM/tem.html.