A Perfect Model for Bounded Verification

Javier Esparza Pierre Ganty Rupak Majumdar

Published in: CoRR (2012)

Keyphrases

mathematical model
computational model
theoretical framework
object model
high level
prior knowledge
probabilistic model
probability distribution
management system
parameter estimation
agent model
database
linear model
statistical model
cost function
case study
website
information systems