JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. Bliudze, S., van den Bos, P., Huisman, M., Rubbens, R., & Safina, L. In 26th International Conference on Fundamental Approaches to Software Engineering, Cham, April, 2023.
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java [pdf]Paper  bibtex   

Downloads: 0