Scalable Program Analysis Using Boolean Satisfiability: The Saturn Project - PowerPoint PPT Presentation

The presentation will start after a short
(15 second) video ad from one of our sponsors.


Hot tip: Video ads won’t appear to registered users who are logged in. And it’s free to register and free to log in!
View by Category
About This Presentation
Title:

Scalable Program Analysis Using Boolean Satisfiability: The Saturn Project

Description:

Saturn. 8. A Parable Continued ... Saturn. 9. This Talk. An approach to achieving both precision and scalability ... Saturn. 10. The Main Idea. For precision, ... – PowerPoint PPT presentation

Number of Views:79
Avg rating:3.0/5.0
Slides: 53
Provided by: yiche2
Learn more at: http://www.cis.upenn.edu
Category:

less

Write a Comment
User Comments (0)
Transcript and Presenter's Notes
About PowerShow.com