perennial

Verifying concurrent crash-safe systems

GitHub

146 stars
16 watching
33 forks
Language: Coq
last commit: 9 days ago
concurrencycoqverification