Browse by author
Lookup NU author(s): Sam Appleby, Dr Giacomo BergamiORCiD, Professor Graham MorganORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
State of the art for model checking exploit computationally intensive solutions, bottlenecked by either repeated data access or suboptimal algorithmic implementations. Our solution outperforms the previous solutions while proposing novel temporal logic operators for accessing relational tables.
Author(s): Appleby S, Bergami G, Morgan G
Editor(s): Desai,BC;Revesz,P;
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: IDEAS '22: Proceedings of the 26th International Database Engineered Applications Symposium
Year of Conference: 2022
Pages: 134–143
Print publication date: 13/09/2022
Online publication date: 13/09/2022
Acceptance date: 11/07/2022
Publisher: Association for Computing Machinery
URL: https://doi.org/10.1145/3548785.3548786
DOI: 10.1145/3548785.3548786
Library holdings: Search Newcastle University Library for this item
ISBN: 9781450397094