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