1 \index{model checking example|(}%
2 \index{lfp@{\texttt{lfp}}!applications of|see{CTL}}
3 \input{Base.tex}
4 \input{PDL.tex}
5 \input{CTL.tex}
6 \index{model checking example|)}