On Wed, Jun 8, 2011 at 12:57 PM, David A. Ramos <[email protected]>wrote:
> Hi Andriy, > > We have an upcoming CAV paper on this topic. Check it out at > http://keeda.stanford.edu/~daramos/ucklee-cav-2011.pdf. Unfortunately, our > UC-KLEE repository is unstable and not currently released to the public. > Hopefully that will change at some point. > > -David > > _______________________________________________ > klee-dev mailing list > [email protected] > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > So, do you still plan to share UC-KLEE source?
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
