C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verification and falsification of programs with loops using predicate abstraction.
Daniel Kroening
Georg Weissenbacher
Published in:
Formal Aspects Comput. (2010)
Keyphrases
</>
hardware designs
symbolic execution
model checking
bounded model checking
high level
first order logic
database
source code
formal verification
integrity constraints
computer programs
formal methods
signature verification
test generation
data abstraction
java programs