News
CovVise Paper and Presentation Posted
CovVise was presented to SNUG Boston 2009, with a great response. The paper and slides are available under Veripool Papers
CovVise Announced
CovVise is now publicly announced at http://www.veripool.org/covvise, including introduction information and screenshots. For a distribution please contact the authors.
Also available in: Atom
![[logo]](/img/veripool_small.png)