Back to results

ETH Zurich

Coverage, Vacuity, and Interpolation in Model Checking

dc:creator Purandare, Mitra

dc:date2010

Degree

thesis:*

Grantor dc:publisher: ETH Zurich
Year dc:date: 2010

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Purandare, Mitra
Contributors dc:contributor: Gutknecht, Jürg
Kröning, Daniel

Subjects

dc:subject × 3

Rights

dc:rights

Statement dc:rights: info:eu-repo/semantics/openAccess

In Copyright - Non-Commercial Use Permitted
Licence: http://rightsstatements.org/page/InC-NC/1.0/
Language dc:language: en

Identifiers

dc:identifier.*

Identifier: https://doi.org/10.3929/ethz-a-006397251
urn:isbn:978-1-257-03868-8
OAI identifier oai:identifier: oai:www.research-collection.ethz.ch:20.500.11850/72719

Chain of custody

source

Harvested from: ETH Zürich
Base URL: www.research-collection.ethz.ch/oai/request
Last updated: 2026-07-27
Source record: OAI-PMH GetRecord

related terms

citation

Purandare, Mitra. Coverage, Vacuity, and Interpolation in Model Checking. ETH Zurich, 2010. http://hdl.handle.net/20.500.11850/72719

More from ETH Zürich