Floating point support for the KLEE symbolic execution engine
-
Updated
Aug 29, 2017 - C++
Floating point support for the KLEE symbolic execution engine
Add a description, image, and links to the symbolic-virtual-machine topic page so that developers can more easily learn about it.
To associate your repository with the symbolic-virtual-machine topic, visit your repo's landing page and select "manage topics."