A novel symbolic approach to verifying epistemic properties of programs

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Boureanu, Ioana (2017) A novel symbolic approach to verifying epistemic properties of programs. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. In: Twenty-Sixth International Joint Conference on Artificial Intelligence, 19-25 August 2017, Melbourne, Australia. ISBN 9780999241103. [Conference or Workshop Item] (doi:10.24963/ijcai.2017/30)

[img]
Preview
PDF - Published version (with publisher's formatting)
Download (166kB) | Preview
[img]
Preview
PDF - Final accepted version (with author's formatting)
Download (307kB) | Preview

Abstract

We introduce a framework for the symbolic verification of epistemic properties of programs expressed in a class of general-purpose programming languages. To this end, we reduce the verification problem to that of satisfiability of first-order formulae in appropriate theories. We prove the correctness of our reduction and we validate our proposal by applying it to two examples: the dining cryptographers problem and the ThreeBallot voting protocol. We put forward an implementation using existing solvers, and report experimental results showing that the approach can perform better than state-of-the-art symbolic model checkers for temporal-epistemic logic.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Gorogiannis, N., Raimondi, F. & Boureanu , I., 2017. A Novel Symbolic Approach to Verifying Epistemic Properties of Programs. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Available at: http://dx.doi.org/10.24963/ijcai.2017/30.
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 22590
Notes on copyright: Copyright © 2017 International Joint Conferences on Artificial Intelligence. All rights reserved. Reproduced in this repository (eprints.mdx.ac.uk) with permission from International Joint Conferences on Artificial Intelligence
Useful Links:
Depositing User: Nikos Gkorogiannis
Date Deposited: 02 Oct 2017 15:40
Last Modified: 15 Jun 2021 11:34
URI: https://eprints.mdx.ac.uk/id/eprint/22590

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
356Downloads
332Hits

Additional statistics are available via IRStats2.