A Proof System for Compositional Verification of Probabilistic Concurrent Processes.
Matteo MioAlex SimpsonPublished in: FoSSaCS (2013)
Keyphrases
- concurrent processes
- model checker
- model checking
- bayesian networks
- linear time temporal logic
- probabilistic model
- generative model
- formal methods
- context sensitive
- concurrent programs
- asynchronous circuits
- probabilistic logic
- probabilistic reasoning
- uncertain data
- real time
- information theoretic
- general purpose
- machine learning
- data sets