KLEE-FP is an extension to the KLEE symbolic execution tool that supports symbolic reasoning on the equivalence between floating-point values. KLEE-FP features an OpenCL runtime, allowing it to symbolically execute OpenCL kernels. OpenCL support is based on a POSIX threading model for KLEE provided by the Cloud9 developers.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element