URSA: A System for Uniform Reduction to SAT
A tool for checking ANSI-C programs