#z3 prover #theorem prover #SMT solver #microsoft research #software verification #formal methods