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 231  abstracts
Downloads 474  downloads

Abstract Views and Downloads by Country
Views 67  abstracts
Downloads 192  downloads
Germany Views 13  abstracts
Downloads 52  downloads
United States Views 36  abstracts
Downloads 52  downloads
China Views 51  abstracts
Downloads 33  downloads
United Kingdom Views 15  abstracts
Downloads 26  downloads
Switzerland Views 16  abstracts
Downloads 22  downloads
France Views 11  abstracts
Downloads 17  downloads
Canada Views abstracts
Downloads 16  downloads
Japan Views abstracts
Downloads 12  downloads
Austria Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Taiwan Views abstracts
Downloads downloads
Belgium Views abstracts
Downloads downloads
Brazil Views abstracts
Downloads downloads
Korea, Republic of Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
Argentina 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
Ukraine Views abstracts
Downloads downloads
Chile Views abstracts
Downloads downloads
Qatar Views abstracts
Downloads downloads
Serbia and Montenegro Views abstracts
Downloads downloads


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