Predicate Abstraction for Software Verification - PowerPoint PPT Presentation

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

Predicate Abstraction for Software Verification

Description:

Abstract from low-level to high-level operations. tedious low ... Graf-Saidi 97. Bensalem-Lakhnech-Owre 98, Colon-Uribe 98. Saidi-Shankar 99, Das-Dill-Park 99 ... – PowerPoint PPT presentation

Number of Views:23
Avg rating:3.0/5.0
Slides: 39
Provided by: cadg4
Category:

less

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