grad-ver A gradual verification based software verification tool. This tool is a research prototype. NOTE: This repository is a major work in progress.