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. Mobile Code Security (not supported since 1999) Retargetable Compilers DSP instruction set simulators