Skip navigation
Skip navigation

Tableaux for Verification of Data-Centric Processes

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

Description

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
URI: http://hdl.handle.net/1885/66276
Source: TABLEAUX 2013, International Conference on Theorem Proving with Analytic Tableaux and Related Systems
DOI: 10.1007/978-3-642-40537-2_5

Download

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