Bayesian statistical model checking with application to Stateflow/Simulink verification

Similar items

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

  Scholarly record2013Formal Methods in System DesignPaolo Zuliani, André Platzer, Edmund M. Clarke

  We address the problem of model checking stochastic systems, i.e., checking whether a stochastic system satisfies a certain temporal property with a probability greater (or smaller) than a fixed threshold. In particular, we present a Statistical Model Checking (SMC) approach base

• Generalized Queries and Bayesian Statistical Model Checking in Dynamic Bayesian Networks: Application to Personalized Medicine

  Scholarly record2009Christopher J. Langmead, Christopher James Langmead

  We introduce the concept of generalized probabilistic queries in Dynamic Bayesian Networks (DBN) — computing P (φ1|φ2), where φi is a formula in temporal logic encoding an equivalence class of trajectories through the variables of the model. Generalized queries include as special

• Automated parameter estimation for biological models using Bayesian statistical model checking

  Open-access article2015BMC BioinformaticsFarazHussain, Christopher JLangmead, QiMi, JoyeetaDutta-Moscato

• Dynamic Verification of SystemC with Statistical Model Checking

  Scholarly record2014CoRRVan Chan Ngo, Axel Legay, Jean Quilbeuf

  Transaction-level modeling with SystemC has been very successful in describing the behavior of embedded systems by providing high-level executable models, in which many of them have an inherent probabilistic behavior, i.e., random data, unreliable components. It is crucial to eva

• Analyzing Industrial Simulink Models by Statistical Model Checking

  Scholarly record2017Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Guillermo Rodriguez-Navas

  The evolution of automotive systems has been rapid. Nowadays, electronic brains control dozens of functions in vehicles, like braking, cruising, etc. Model-based design approaches, in environments such as MATLAB Simulink, seem to help in addressing the ever-increasing need to enh

• Formal Verification of Probabilistic SystemC Models with Statistical Model Checking

  Scholarly record2017CoRRVan Chan Ngo, Axel Legay

  Transaction-level modeling with SystemC has been very successful in describing the behavior of embedded systems by providing high-level executable models, in which many of them have inherent probabilistic behaviors, e.g., random data and unreliable components. It thus is crucial