Z3 Videos and Posts

5 posts

Channel 9 publishes Z3 videos and information for you to improve your knowledge and skills. This page provides a listing of content tagged with Z3 to see the most up-to-date information provided by the experts building Microsoft products & services

  • Filter content by language
  • Microsoft Researchers on 2013 ICFP Competition
    11 minutes, 36 seconds
  • Nikolai Tillmann and Peli de Halleux: Inside Code Digger
    32 minutes, 44 seconds
  • Verve: A Type Safe Operating System
    1 hour, 14 minutes, 50 seconds
  • Developers: Rise to the Challenge at RiSE4fun.com
  • Nikolaj Bjørner and Leonardo de Moura: The Z3 Constraint Solver
    15 minutes, 29 seconds