Computational tree logic

Summary