×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [whileeveni i]
Home >
whileeveni i
1 Predicate Abstraction of ANSI-C Programs using SAT Edmund Clarke Daniel Kroening Natalia Sharygina Karen Yorav (modified by Zaher Andraus for presentation.
214 views
Formal Verification of SpecC Programs using Predicate Abstraction Himanshu Jain Daniel Kroening Edmund Clarke Carnegie Mellon University.
221 views