Software model checking with uninterpreted functions abstraction - View it on GitHub