Mechanised Reasoning about Array-Based Trees in Separation Logic
coq
formal-verification
separation-logic
vector-clock
rosetree
generic-tree
logical-clock
data-race-detection
-
Updated
Jan 6, 2024 - Coq