benmandrew/disjoint
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
7 commits 1 branch 0 tags 35 KiB
  • Rocq Prover 99.6%
  • Dune 0.4%
Find a file
Exact
benmandrew 85fa4326fc Struggling with disjoint set definition
2023-12-29 21:07:49 +00:00
.gitignore Proven part (b) 2023-12-21 23:44:46 +00:00
_CoqProject Proven part (b) 2023-12-21 23:44:46 +00:00
disjoint.v Struggling with disjoint set definition 2023-12-29 21:07:49 +00:00
dune Proven part (b) 2023-12-21 23:44:46 +00:00
dune-project Proven part (b) 2023-12-21 23:44:46 +00:00
LICENSE Proven part (b) 2023-12-21 23:44:46 +00:00
README.md Proven part (b) 2023-12-21 23:44:46 +00:00

README.md

disjoint

Formal proofs of properties of a toy language with concurrent threads, relating to threads with disjoint memory locations being unable to interfere with one another.

https://www.cl.cam.ac.uk/teaching/exams/pastpapers/y2007p6q10.pdf