Applying Model Checking to Large Software Specifications

David NotkinDept. of Computer Science & EngineeringUniversity of Washington10 March 1997www.cs.washington.edu/homes/notkin

Joint with:

• Richard Anderson

• Paul Beame

• William Chan

• Steve Burns

• Francesmary Modugno

• Jon Reese

Next slide

Back to first slide

View graphic version