Past Software Projects

 

Home

 

  • CVC Lite: A decision procedure for the combined theory of linear integer and real arithmetic, bit-vectors, arrays and functions. I worked on the bit-vector part. I also collaborated on CVC, the predecessor of CVC Lite.

 

 

 

  • DSP instruction set simulators