dvanhorn / var

Verification via Abstract Reduction

Verification via Abstract Reduction

See also http://arxiv.org/abs/1103.1362

To install:

   % raco git --github samth var

which enables the #lang var language.

Before doing the above, you'll need the raco git package:

   % git clone http://github.com/samth/raco-git.git
   % raco link raco-git
   % raco setup raco-git