Video URL

https://simons.berkeley.edu/talks/tba-135

Programming Z3

(2021). Programming Z3. The Simons Institute for the Theory of Computing. https://simons.berkeley.edu/talks/tba-135

Programming Z3. The Simons Institute for the Theory of Computing, Feb. 05, 2021, https://simons.berkeley.edu/talks/tba-135 

          @misc{ scivideos_16970,
            doi = {},
            url = {https://simons.berkeley.edu/talks/tba-135},
            author = {},
            keywords = {},
            language = {en},
            title = {Programming Z3},
            publisher = {The Simons Institute for the Theory of Computing},
            year = {2021},
            month = {feb},
            note = {16970 see, \url{https://scivideos.org/Simons-Institute/16970}}
          }
Nikolaj Björner (Microsoft Research)
Source Repository Simons Institute
Subject

Abstract

 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.