Symbolic Trajectory Evaluation -- Session 8. Property Specification and Verification --