Talks
Spring 2021

Programming Z3

Friday, February 5th, 2021 9:30 am10:30 am

Add to Calendar

Speaker: 

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.