Project for the B.Sc. course "0368-4479 Program Analysis and Verification" of Tel Aviv University.
Primary LanguagePython