Grackle – A symbolic simulator for engineering and systems software
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.
For information about Grackle, please contact Galois.