Report copyright - 1 Predicate Abstraction of ANSI-C Programs using SAT Edmund Clarke Daniel Kroening Natalia Sharygina Karen Yorav (modified by Zaher Andraus for presentation
Please pass captcha verification before submit form
Please pass captcha verification before submit form