Adobe PDF
(582.09 kB)
Combining Symbolic Execution with Predicate Abstraction and CEGAR

Page view(s)

312
checked on Sep 23, 2024

Download(s)

135
checked on Sep 23, 2024

Google ScholarTM

Check