For people who don’t use it, this is for separation logic. SuSlik’s Github here. Synquid paper here. AutoProof site here. Boogaloo here. QFIS Bitbucket here.
Also, turns out Suslik is also the name of the blog of a fella doing safety-critical work in software and hardware. Might be submission-worthy stuff in there.
For people who don’t use it, this is for separation logic. SuSlik’s Github here. Synquid paper here. AutoProof site here. Boogaloo here. QFIS Bitbucket here.
Also, turns out Suslik is also the name of the blog of a fella doing safety-critical work in software and hardware. Might be submission-worthy stuff in there.