Slides from recent talks

I've had complaints about not being able to view the powerpoint files, but I've tested them on several machines (with IE4) and have had no problems. I think there must be variations in people's powerpoint versions or configurations that are having problems.

If the file does not download and you get garbage in your Netscape window, you can download by holding down the shift key when you select the file.

This material is all copyright © by David L. Dill, 1999. Any of this material may be used if the source is acknowledged. All other rights are reserved. There is no guarantee of accuracy or completeness, however, so use it at your own risk.

-----

Slides from an invited talk at Symposium on Principles of Programming Languages, "Formal Verification: Experiences and Future Prospects"

-----

Slides from an embedded tutorial at CAV '99 on symbolic simulation (not yet available)

-----

Slides from an embedded tutorial at ICCAD 99: "Simulation meets formal verification" (not yet available)

Also, Serdar Tasiran has a web page devoted to coverage.