Ex2.java

Ex3.java

BinarySearchSafety.java

BinarySearchSoundness.java

BinarySearchCompleteness.java

BinarySearchOverflow.java

BinarySearchOverflowFix.java