×

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

Gradual Verification Playground displayed semantics: examples: X 1 2 3 4 5 6 7 8

Precondition
Code
Postcondition

Syntax

Context (the classes you can instantiate and use)