32 ms·
Colleagues of mine are using it to verify concurrent programs: https://iris-project.org/tutorial-material.html https://iris-project.org/tutorial-material.html
by lheck 2y ago
Colleagues of mine are using it to verify concurrent programs: https://iris-project.org/tutorial-material.html https://iris-project.org/tutorial-material.html