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 175  abstracts
Downloads 371  downloads

Abstract Views and Downloads by Country
Views 45  abstracts
Downloads 145  downloads
Germany Views abstracts
Downloads 40  downloads
United States Views 27  abstracts
Downloads 36  downloads
China Views 46  abstracts
Downloads 25  downloads
Switzerland Views 15  abstracts
Downloads 21  downloads
United Kingdom Views 12  abstracts
Downloads 20  downloads
Canada Views abstracts
Downloads 16  downloads
France Views abstracts
Downloads 13  downloads
Japan Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Taiwan 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
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
Sweden 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