Login
From:
SYSTEMF @ EPFL
(Uncensored)
subscribe
SpecMerger
https://systemf.epfl.ch/blog/SpecMerger/
links
backlinks
Tagged with:
tools
regex
verification
coq
student-projects
An introduction to SpecMerger, a tree-diffing tool designed to facilitate mechanized specification audits.
Roast topics
Find topics
Find it!
