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
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Kojima, Kensuke; Igarashi, Atsushi: A Hoare logic for GPU kernels (2017)
- Siegel, Stephen F.; Zirkel, Timothy K.: TASS: the toolkit for accurate scientific software (2011)