in LTL and CTL - Sharif University of Technology