Loopfrog: A Static Analyzer for ANSI-C Programs.

Daniel Kroening Natasha Sharygina Stefano Tonetta Aliaksei Tsitovich Christoph M. Wintersteiger

Published in: ASE (2009)

Keyphrases

video sequences
data acquisition
computer programs
real world
information retrieval
artificial intelligence
case study
data structure
expert systems
programming environment
dynamic analysis
provably correct