Verifying C++ with STL Containers via Predicate Abstraction

Metadata Label Value
Author(s): Blanc, Nicolas, Kröning, Daniel, Groce, Alex
Publisher: ETH, Department of Computer Science
Citation:

Blanc, Nicolas, Kröning, Daniel and Groce, Alex. Verifying C++ with STL Containers via Predicate Abstraction. ETH, Department of Computer Science (2006). http://dx.doi.org/10.3929/ethz-a-006788257

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

Detailed Information

Metadata Description
Title Verifying C++ with STL Containers via Predicate Abstraction
Author(s) Blanc, Nicolas
Kröning, Daniel
Groce, Alex
Publication Place Zurich
Publisher ETH, Department of Computer Science
Publication Date 2006
Series [Technical report / Swiss Federal Institute of Technology Zurich, Department of Computer Science] [506]
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006788257
Subject(s) Software
Keyword(s) VERIFICATION
PROGRAMMING LANGUAGES
Organisational Unit Department of Computer Science
Online Publication Date 2011
Description File Name MIME Type Size
Text   eth-4905-01.pdf application/pdf 229.41KB
Abstract Views and Downloads
Views 25  abstracts
Downloads 52  downloads

Abstract Views and Downloads by Country
Views 11  abstracts
Downloads 17  downloads
United States Views abstracts
Downloads 13  downloads
Germany Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
Bangladesh Views abstracts
Downloads downloads
Brazil Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
China Views abstracts
Downloads downloads
Costa Rica Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Greece Views abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads
Israel Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Kuwait Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
Swaziland Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads


E-Collection record created: Sat, 24 Dec 2011, 05:45:11 CET