Grackle is a symbolic execution tool designed for symbolically executing MATLAB ® and LLVM ® code, and evaluating those expressions using SAT and SMT solvers such as ABC and Yices. Grackle is intended to enable engineers to reason symbolically about numerical programs. It can be used to, for example, find inputs that may crash a system or exceeds physical tolerances, model compression and decompression routines, or integrate numerical and symbolic solvers.
The Grackle 0.5 alpha preview release is now available to download from the links below.
For additional information about Grackle, please contact Galois.