In this paper, for the first time, we study formal verification of Bayesian mechanisms through strategic reasoning. We rely on framework Probabilistic Strategy Logic (PSL), which is well-suited representing and verifying multi-agent systems with incomplete information. take advantage recent results decidability PSL model checking under memoryless strategies, reduce problem formally to checking....

in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) us...