Modeling Git Internals in Alloy, Part 1: Blobs and Trees
CRANK
Understanding Git better by using lightweight formal methods
2 comments
Understanding Git better by using lightweight formal methods
