Skip navigation
Skip navigation

Tableaux for Verification of Data-Centric Processes

Bauer, Andreas; Baumgartner, Peter; Diller, Martin; Norrish, Michael


Current approaches to analyzing dynamic systems are mostly grounded in propositional (temporal) logics. As a consequence, they often lack expressivity for modelling rich data structures and reasoning about them in the course of a computation. To address t

CollectionsANU Research Publications
Date published: 2013
Type: Conference paper
Source: TABLEAUX 2013, International Conference on Theorem Proving with Analytic Tableaux and Related Systems
DOI: 10.1007/978-3-642-40537-2_5


File Description SizeFormat Image
01_Bauer_Tableaux_for_Verification_of_2013.pdf296.45 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator