Model Checking Programs with Java PathFinder - PowerPoint PPT Presentation

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

Model Checking Programs with Java PathFinder

Description:

focus is on finding bugs in Java programs ... Java runtime related: unhandled exceptions, heap usage, (cycle budgets) ... like a VM ('java' replacement) ... – PowerPoint PPT presentation

Number of Views:488
Avg rating:3.0/5.0
Slides: 92
Provided by: visse9
Category:

less

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