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). doi:10.3929/ethz-a-006397251.
Document Type:	Doctoral and Habilitation Theses
Documents:	Abstract (83.09KB), Fulltext (895.44KB)

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	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

Description	URL
NEBIS Link	http://opac.nebis.ch/F/?local_base=NEBIS&func=find-b&find_code=SYS&request=006397251

Abstract Views and Downloads
Views	50
Downloads	73

Abstract Views and Downloads by Country
	Views	10
	Downloads	11
China	Views	16
China	Downloads	11
United States	Views	7
United States	Downloads	9
Germany	Views	2
Germany	Downloads	8
Switzerland	Views	5
Switzerland	Downloads	7
United Kingdom	Views	3
United Kingdom	Downloads	5
Austria	Views	0
Austria	Downloads	4
India	Views	1
India	Downloads	4
Japan	Views	2
Japan	Downloads	3
Brazil	Views	1
Brazil	Downloads	1
Canada	Views	0
Canada	Downloads	1
Finland	Views	0
Finland	Downloads	1
France	Views	0
France	Downloads	1
Greece	Views	0
Greece	Downloads	1
Hong Kong	Views	0
Hong Kong	Downloads	1
Iran, Islamic Republic of	Views	1
Iran, Islamic Republic of	Downloads	1
Netherlands	Views	1
Netherlands	Downloads	1
Singapore	Views	0
Singapore	Downloads	1
Sweden	Views	0
Sweden	Downloads	1
Taiwan	Views	0
Taiwan	Downloads	1
Russian Federation	Views	1
Russian Federation	Downloads	0