The paper "JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java" by Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, and Larisa Safina, has been accepted at FASE 2023.