Scalable and incremental software bug detection
Z3: An Efficient SMT Solver