Dalal Alrajeh2022-05-282022-05-2815050https://drepo.sdl.edu.sa/handle/20.500.14154/36004Requirements Elaboration using Model Checking and Inductive LearningThesis