Session 7: Researcher Perspectives on Formal Methods

Jim Caldwell, Chair

David Dill, Stanford University (Slides unavailable)

Doug Hoover, Odyssey Research Associates

Full-Size Presentation Slides (PostScript, 7 pages, 73923 bytes)
Four per Page Presentation Slides (PostScript, 2 pages, 76814 bytes)

Steve Johnson, Indiana University

Full-Size Presentation Slides (PostScript, 6 pages, 93914 bytes)
Four per Page Presentation Slides (PostScript, 2 pages, 96826 bytes)

Natarajan Shankar, SRI International (Slides unavailable)