One of the universities exercises done using Java and OpenJML specifications. (Code Contracts)