Model Checking C - PowerPoint PPT Presentation

} ?>
View by Category
About This Presentation
Title:

Model Checking C

Description:

How many threads are enough? 26.8.2004. Daniel Kroening. 6. Outline. Frontend ... with threads. Concurrent. Boolean. Program. Model. Checker. Verification ... – PowerPoint PPT presentation

Number of Views:89
Avg rating:3.0/5.0
Slides: 27
Provided by: mtcE
Learn more at: http://mtc.epfl.ch
Category:

less

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