We found bugs with static analysis and model checking and this is what we learned. - PowerPoint PPT Presentation

1 / 47
} ?>
View by Category
About This Presentation
Title:

We found bugs with static analysis and model checking and this is what we learned.

Description:

Title: Selling an Idea or a Product Author: public pc (3rd floor) Last modified by: Metacomp Created Date: 6/2/1995 10:06:36 PM Document presentation format – PowerPoint PPT presentation

Number of Views:8
Avg rating:3.0/5.0
Slides: 48
Provided by: publi106
Learn more at: http://web.stanford.edu
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com