CSP Refinement checking of "Futexes Are Tricky" (Ulrich Drepper, Red Hat, Inc. June 27, 2004), supposed to be run against FDR (https://www.cs.ox.ac.uk/projects/fdr/).
-
Notifications
You must be signed in to change notification settings - Fork 0
CSP Refinement checking for "Futexes Are Tricky" (Ulrich Drepper, Red Hat, Inc. June 27, 2004)
License
lkpdn/futex-csp
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
CSP Refinement checking for "Futexes Are Tricky" (Ulrich Drepper, Red Hat, Inc. June 27, 2004)
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published