[klee-dev] Full Name of KLEE

[K Kylin]

Hi,
    I read papers about KLEE, but I didn't find the full name of KLEE.
    So what's the full name of KLEE, or  is KLEE not an abbreviation、
    Thanks.
                                                  Kylin

_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev