Abdullah Al-abdulatif2022-05-302022-05-3014737https://drepo.sdl.edu.sa/handle/20.500.14154/51875Tool for Validating Distributed System with Local TimeThesis