Quantitative verification of beta reputation system using PRISM probabilistic model checker.
Amir Jalaly BidgolyBehrouz Tork LadaniPublished in: ISCISC (2013)
Keyphrases
- model checker
- model checking
- formal verification
- formal methods
- temporal logic
- description language
- formal specification
- symbolic model checking
- test suite
- ai planning
- set theory
- epistemic logic
- bayesian networks
- specification language
- web service composition
- artificial intelligence
- concurrent systems
- belief revision
- gray scale
- image analysis