[Incorrectness'24] Work in Progress: Modelling Incorrect Programs in the Open World with D... | ACM SIGPLAN | Podwise