Tjark Weber

Tjark Weber is using Prezi to create and share presentations online.

♥ Prezi? Sign up now, it's free!

Prezis (6)

• Making Formal Methods into Normal Methods

  by Tjark Weber on 19 September 2012

• Reconstruction of Z3's Bit-Vector Proofs in...

  by Tjark Weber on 5 December 2011

• Independent Proof Reconstruction for Z3: An...

  by Tjark Weber on 2 November 2011

• Integrating SAT, QBF and SMT Solvers with...

  by Tjark Weber on 13 September 2011

• Integrating SAT, QBF and SMT Solvers with...

  by Tjark Weber on 12 September 2011

• Integrating SAT, QBF and SMT Solvers with...

  by Tjark Weber on 12 August 2010