×
Please find
1) latest version of paper "Gradual Program Verification" (VMCAI 2018)
2) supplementary material for "Gradual Program Verification" (VMCAI 2018)
3) slides for "Gradual Program Verification" (VMCAI 2018)
4) formalization of the gradual language of this prototype
5) proofs for SVL/GVL