Skip navigation
Skip navigation

Blocking and Other Enhancements for Bottom-Up Model Generation Methods

Baumgartner, Peter; Schmidt, Renate A.

Description

Model generation is a problem complementary to theorem proving and is important for fault analysis and debugging of formal specifications of security protocols, programs and terminological definitions, for example. This paper discusses several ways of enhancing the paradigm of bottom-up model generation, with the two main contributions being a new range-restriction transformation and generalized blocking techniques. The range-restriction transformation refines existing transformations to...[Show more]

CollectionsANU Research Publications
Date published: 2019-03-01
Type: Journal article
URI: http://hdl.handle.net/1885/156809
Source: Journal of Automated Reasoning
DOI: 10.1007/s10817-019-09515-1
Access Rights: Open Access

Download

File Description SizeFormat Image
01 Portal P and Veraar M Stochastic maximal regularity 2019.pdf3.35 MBAdobe PDFThumbnail


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

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator