Overview

The VerCors toolset uses existing static checking tools to provide static checking for
several languages.

The design of the VerCors tool follows the standard pattern of a compiler:

vct-arch.png (7.47 KB) Stefan Blom, 16 Apr 2012 15:22