A Probabilistic Approach to Automatic Verification of Concurrent Systems.
Enrico TronciGiuseppe Della PennaBenedetto IntrigilaMarisa Venturini ZilliPublished in: APSEC (2001)
Keyphrases
- concurrent systems
- temporal logic
- process algebra
- distributed systems
- formal specification
- transition systems
- petri net
- model checking
- bayesian networks
- probabilistic model
- generative model
- uncertain data
- neural network
- machine learning
- probabilistic logic
- artificial intelligence
- context sensitive
- probabilistic approaches
- posterior probability
- data driven