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)
|
PDF
- Published version (with publisher's formatting)
Download (166kB) | 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 |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)