Pinned Repositories
jstar-old
jStar is a verification tool based on separation logic.
svanstaden's Repositories
svanstaden doesn’t have any repository yet.
jStar is a verification tool based on separation logic.
svanstaden doesn’t have any repository yet.