Liveness checking as safety checking to find shortest counterexamples to linear time properties

Download
Abstract (PDF, 150.9Kb)
Fulltext (PDF, 1.698Mb)
Thumbnail
Open access
Author
Schuppan, Viktor
Date
2006
Type
    Doctoral Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-005170555
Publication status
published
External links
Search print copy at ETH Library
Contributors
Examiner: Biere, Armin
Examiner: Kröning, Daniel
Publisher
Verlag Dr. Hut
Subject
VERIFIKATION (SOFTWARE ENGINEERING); SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME); VERIFICATION (SOFTWARE ENGINEERING); SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS)
Organisational unit
03560 - Biere, Armin
Notes
Diss., Technische Wissenschaften, Eidgenössische Technische Hochschule ETH Zürich, Nr. 16268, 2006.
More
Show all metadata
ETH Bibliography
yes
Altmetrics