MCK: Model Checking the Logic of Knowledge
No abstract available.
Related papers
- Model Checking Algorithms for Hyperproperties (Invited Paper) VMCAI 2021
- Model Checking Agent Knowledge in Dynamic Access Control Policies TACAS 2013
- Second-Order Hyperproperties CAV 2023
- A Model Checker for Operator Precedence Languages TOPLAS 2023
- Interactive Proof Checking POPL 1984
- Communication as Fair Distribution of Knowledge OOPSLA 1991
- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games CAV 2019
- Paxos made EPR: decidable reasoning about distributed protocols OOPSLA 2017