Bayesian statistical model checking with application to Simulink/Stateflow verification.

@TECHREPORT{DBLP:conf/hybrid/ZulianiPC10:TR,
	ref = {DBLP:conf/hybrid/ZulianiPC10},

  author    = {Paolo Zuliani and
               Andr{\'e} Platzer and
               Edmund M. Clarke},
  title     = {Bayesian Statistical Model Checking with
               Application to  {Simulink/Stateflow}
               Verification.},
  number    = {CMU-CS-10-100},
  year      = {2010},
  month     = {Jan},
  institution = {School of Computer Science,
               Carnegie Mellon University},
  address   = {Pittsburgh, PA},
  pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2010/CMU-CS-10-100.pdf}
}```