A Resolution Calculus for the Branching-Time Temporal Logic CTL

Zhang, Lan, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare ORCID: 0000-0002-4610-9533
(2014) A Resolution Calculus for the Branching-Time Temporal Logic CTL. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 15 (1).

[img] PDF
Zhang+Hustadt+Dixon@ToCL2013.pdf - Accepted Version

Download (527kB)
Item Type: Article
Uncontrolled Keywords: Theory, Algorithms, Verification, Temporal logic, automated theorem proving, resolution
Subjects: ?? QA75 ??
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 11 Oct 2013 10:57
Last Modified: 10 Aug 2022 06:10
DOI: 10.1145/2529993
Publisher's Statement : © ACM, 2014.This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM Transactions on Computational Logic VOL 15, ISS 1, February 2014 http://doi.acm.org/10.1145/2529993
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/13453