Lectures for Advanced Summer School on Formal Methods

John Rushby

Beijing University, 18-22 October 1999

Here's the overall course page. I will be doing 3 two-hour lectures. Slides are postscript, 9-up.
  1. Overview of recent trends and new directions in mechanized formal methods: slides

    related paper

    If there's time, I may give an introduction to PVS, using these examples: description (postscript) and PVS dump file

  2. Simple case study--the Bakery mutual exclusion protocol: slides

    Murphi code and PVS dump file

  3. Novel case studies

Go to the CSL Formal Methods Program home page
Go to the Computer Science Laboratory home page