A novel symbolic approach to verifying epistemic properties of programs
Conference paper
Gorogiannis, N., Raimondi, F. and Boureanu, I. 2017. A novel symbolic approach to verifying epistemic properties of programs. Twenty-Sixth International Joint Conference on Artificial Intelligence. Melbourne, Australia 19 - 25 Aug 2017 International Joint Conferences on Artificial Intelligence. pp. 206-212 https://doi.org/10.24963/ijcai.2017/30
Type | Conference paper |
---|---|
Title | A novel symbolic approach to verifying epistemic properties of programs |
Authors | Gorogiannis, N., Raimondi, F. and Boureanu, I. |
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. |
Research Group | Foundations of Computing group |
Conference | Twenty-Sixth International Joint Conference on Artificial Intelligence |
Page range | 206-212 |
ISBN | |
Hardcover | 9780999241103 |
Publisher | International Joint Conferences on Artificial Intelligence |
Publication dates | |
19 Aug 2017 | |
Publication process dates | |
Deposited | 02 Oct 2017 |
Accepted | 26 Apr 2017 |
Output status | Published |
Publisher's version | |
Accepted author manuscript | |
Copyright Statement | Copyright © 2017 International Joint Conferences on Artificial Intelligence. All rights reserved. Reproduced in the Middlesex University Research Repository with permission from International Joint Conferences on Artificial Intelligence |
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 |
Digital Object Identifier (DOI) | https://doi.org/10.24963/ijcai.2017/30 |
Language | English |
Book title | Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence |
https://repository.mdx.ac.uk/item/87318
Download files
57
total views23
total downloads0
views this month2
downloads this month