CVT
The Chapel Verification Tool

Contents

• Overview
• Downloads

Overview

CVT is a model checking and symbolic execution tool for verifying programs written using a subset of the Chapel programming language.

CVT is open source software distributed under the GNU Public License.

Downloads

• cvt.tgz: tar, gzipped archive of CVT
• cvt.pdf: description of CVT with explanations of the intermediate representation and included examples