University of Palestine Faculty of Applied Engineering and Urban Planning Software Engineering Department Formal Methods Relations Instructor: Tasneem Darwish Outlines Binary…