Abstract This artifact [1](accompanying our iFM 2023 paper [2]) describes the software we
developed that contributed towards our analysis of OpenJDK's BitSet class. This class …

This thesis presents new foundations for separation logic, an important field within the formal
sciences such as theoretical computer science. Around the turn of the millennium …