Convergence of Model Checking - PowerPoint PPT Presentation

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

Convergence of Model Checking

Description:

Convergence of Model Checking & Program Analysis. Philippe Giabbanelli CMPT 894 Spring 2008 ... This illustrates the convergence: we have a bit of both approaches! ... – PowerPoint PPT presentation

Number of Views:13
Avg rating:3.0/5.0
Slides: 19
Provided by: aqualon
Learn more at: http://aqualonne.free.fr
Category:

less

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