Using PVS for Modeling and Verification of Probabilistic Connectors.

M. Saqib Nawaz Meng Sun

Published in: FSEN (2019)

Keyphrases

formal verification
bayesian networks
information systems
probabilistic modeling
data driven
posterior probability
modeling method
theorem proving
probabilistic approaches
data sets
modeling framework
statistical modeling
uncertain data
model checking
multiscale
knowledge base
learning algorithm