Hi David,
Have a look at https://klee.github.io/publications for a multitude of use cases that KLEE has been used successfully: That said, the larger your application is the more challenging it becomes to test it with any method. In those cases it becomes useful to test parts of the application independently instead of focusing on the full application at once. Best, Martin > On 5. Oct 2022, at 22:49, David Blubaugh <davidblubaugh2...@yahoo.com> wrote: > > 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 _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
