PPT-An Efficient SMT Solver
Lecturer Qinsi Wang May 2 2012 Z3 highperformance theorem prover being developed at Microsoft Research mainly by Leonardo de Moura and Nikolaj Bjørner Free online
Download Presentation
Download Note : "An Efficient SMT Solver" is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.