Dynamic Program Analysis - PowerPoint PPT Presentation

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

Dynamic Program Analysis

Description:

Kestrel Technology. Dynamic Program Analysis. Klaus Havelund. Kestrel Technology ... Embed in for example RWL: LTL in Maude (JPAX) ... – PowerPoint PPT presentation

Number of Views:31
Avg rating:3.0/5.0
Slides: 13
Provided by: csl6
Learn more at: http://www.csl.sri.com
Category:

less

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