Coverage, vacuity, and interpolation in model checking

Metadata Label Value
Author(s): Purandare, Mitra
Publisher: ETH
Citation:

Purandare, Mitra. Coverage, vacuity, and interpolation in model checking. ETH (2010). http://dx.doi.org/10.3929/ethz-a-006397251

Document Type: Doctoral and Habilitation Theses  
Documents: Abstract (83.09KB), Fulltext (895.44KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Coverage, vacuity, and interpolation in model checking
Author(s) Purandare, Mitra
Publication Place Zürich
Publisher ETH
Publication Date 2010
Notes Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 19443, 2010
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006397251
ISBN 978-1-257-03868-8
Subject(s) Software
Keyword(s) VERIFICATION
Description File Name MIME Type Size
Abstract   eth-2562-01.pdf application/pdf 83.09KB
Fulltext   eth-2562-02.pdf application/pdf 895.44KB
Abstract Views and Downloads
Views 156  abstracts
Downloads 344  downloads

Abstract Views and Downloads by Country
Views 36  abstracts
Downloads 134  downloads
Germany Views abstracts
Downloads 36  downloads
United States Views 25  abstracts
Downloads 36  downloads
China Views 44  abstracts
Downloads 24  downloads
Switzerland Views 14  abstracts
Downloads 20  downloads
United Kingdom Views 11  abstracts
Downloads 17  downloads
Canada Views abstracts
Downloads 16  downloads
France Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Taiwan Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Brazil Views abstracts
Downloads downloads
Korea, Republic of Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Australia Views abstracts
Downloads downloads
Croatia Views abstracts
Downloads downloads
Czech Republic Views abstracts
Downloads downloads
Finland Views abstracts
Downloads downloads
Greece Views abstracts
Downloads downloads
Hong Kong Views abstracts
Downloads downloads
Iran, Islamic Republic of Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
Singapore Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
Chile Views abstracts
Downloads downloads
Qatar Views abstracts
Downloads downloads


E-Collection record created: Wed, 06 Apr 2011, 04:25:42 CET