GitHub repository: m4ndeb2r/IM9906-2-VerifyingIdentityHashMap
Primary language: Java
Description: KeY verification case study in which we verify Java's IdentityHashMap with JML and KeY.