Predicate Abstraction of ANSI-C Programs Using SAT
Edmund Clarke, Daniel Kroening, Natasha Sharygina, Karen YoravVolume:
25
Language:
english
Pages:
23
DOI:
10.1023/b:form.0000040025.89719.f3
Date:
September, 2004
File:
PDF, 215 KB
english, 2004