KLEE dev question. I was wondering if the KLEE environment has ever been used for a large application like a modern video game or for development or testing of an embedded system such as a microcontroller or FPGA? Is this feasible????
Thanks David
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
