Posts tagged "theorem provers"

• Provable Optimization with Microsoft Z3 - March 5, 2015
• "Test-Only Development" with the Z3 Theorem Prover - July 7, 2014