gorn-coq

Project information

Deadlock avoidance on using futures in shared memory. The project includes the formalization of a trace language and results on a policy on safe joins (through a notion of known tasks) and we show that data-race-freedom implies deadlock freedom.

Coq futures ...

362 Commits
2 Branches
0 Tags

README
Apache License 2.0

Created on

November 14, 2016

Copy SSH clone URLgit@gitlab.com:cogumbreiro/gorn-coq.git
Copy HTTPS clone URLhttps://gitlab.com/cogumbreiro/gorn-coq.git