Specification Inference and Invariant Generation: A Machine Learning Perspective.

Published in: ATx/WInG@IJCAR (2012)

Keyphrases

bayesian networks
real time
specification language
bayesian model
inference mechanism
multiscale
affine invariant
bayesian inference
belief networks
efficient learning
formal specification
random fields
website
information systems
artificial intelligence
databases
data sets