Verification Condition Generation for Permission Logics with Abstraction Functions

Metadata Label Value
Author(s): Heule, Stefan, Kassios, Ioannis T., Müller, Peter, Summers, Alexander J.
Publisher: ETH Zurich, Department of Computer Science
Citation:

Heule, Stefan, Kassios, Ioannis T., Müller, Peter and Summers, Alexander J.. Verification Condition Generation for Permission Logics with Abstraction Functions. ETH Zurich, Department of Computer Science (2012). http://dx.doi.org/10.3929/ethz-a-007313727

Document Type: Reports  
Documents: Text (347.27KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Verification Condition Generation for Permission Logics with Abstraction Functions
Author(s) Heule, Stefan
Kassios, Ioannis T.
Müller, Peter
Summers, Alexander J.
Publication Place Zurich
Publisher ETH Zurich, Department of Computer Science
Publication Date 2012
Series [Technical report / ETH Zurich, Department of Computer Science] [761]
Language English
DOI http://dx.doi.org/10.3929/ethz-a-007313727
Subject(s) Software
Keyword(s) THEORY OF PROGRAMMING
VERIFICATION
Organisational Unit Department of Computer Science
Online Publication Date 2012
Description File Name MIME Type Size
Text   eth-5673-01.pdf application/pdf 347.27KB
Abstract Views and Downloads
Views 38  abstracts
Downloads 22  downloads

Abstract Views and Downloads by Country
Views 17  abstracts
Downloads 10  downloads
China Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
Greece Views abstracts
Downloads downloads
New Zealand Views abstracts
Downloads downloads
Singapore Views abstracts
Downloads downloads
Turkey Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
Serbia and Montenegro Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads


E-Collection record created: Sat, 23 Jun 2012, 04:39:23 CET