Model Checking Large-Scale Software - PowerPoint PPT Presentation

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

Model Checking Large-Scale Software

Description:

Model Checking Large-Scale Software. Natasha Sharygina. Carnegie Mellon University ... Continuously operating concurrent systems (e.g. operating systems, hardware ... – PowerPoint PPT presentation

Number of Views:38
Avg rating:3.0/5.0
Slides: 63
Provided by: Nat9150
Learn more at: http://www.cs.cmu.edu
Category:

less

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