Spring 2021

Programming Z3

Friday, Feb. 5, 2021 9:30 am10:30 am PST

Add to Calendar


Nikolaj Björner (Microsoft Research)

 This tutorial provides a programmer's introduction to Satisfiability Modulo Theories based on Z3. It illustrates how to define and solve SMT problems using scripts and walks through algorithms using exposed functionality.


Pre-recorded videos not available for Friday session.