Colleagues of mine are using it to verify concurrent programs: https://iris-project.org/tutorial-material.html