Zap: Automated Theorem Proving for Software Analysis.

Thomas Ball Shuvendu K. Lahiri Madanlal Musuvathi

Published in: LPAR (2005)

Keyphrases

statistical analysis
analysis tool
automated theorem proving
computer systems
data analysis
fuzzy logic
database
source code
static analysis
theorem proving
theorem prover
data acquisition
object oriented
artificial intelligence
machine learning
data mining
real time