Liveness checking as safety checking to find shortest counterexamples to linear time properties
Open access
Autor(in)
Datum
2006Typ
- Doctoral Thesis
ETH Bibliographie
yes
Altmetrics
Persistenter Link
https://doi.org/10.3929/ethz-a-005170555Publikationsstatus
publishedExterne Links
Printexemplar via ETH-Bibliothek suchen
Verlag
Verlag Dr. HutThema
VERIFIKATION (SOFTWARE ENGINEERING); SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME); VERIFICATION (SOFTWARE ENGINEERING); SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS)Organisationseinheit
03560 - Biere, Armin
Anmerkungen
Diss., Technische Wissenschaften, Eidgenössische Technische Hochschule ETH Zürich, Nr. 16268, 2006.ETH Bibliographie
yes
Altmetrics