Towards Formal Modeling and Verification of Probabilistic Connectors in Coq (S).
Xiyue ZhangMeng SunPublished in: SEKE (2018)
Keyphrases
- formal methods
- bayesian networks
- probabilistic modeling
- probabilistic model
- model checking
- formal analysis
- formal model
- formal specification
- probabilistic approaches
- real time
- reactive systems
- modeling language
- uncertain data
- knowledge based systems
- multi agent
- web services
- social networks
- genetic algorithm
- databases