Verifying concurrent code with layers and movers
Primary LanguageCoqOtherNOASSERTION
Framework for reasoning about concurrent code using abstraction, layers, and movers.