2025-02-172011https://dl.ftveti.edu.et/handle/123456789/3741High-Level Verification