Automated Usable Functional Verification of Object-Oriented Programs

Download
Abstract (PDF, 190.3Kb)
Fulltext (PDF, 6.214Mb)
Thumbnail
Open access
Author
Tschannen, Julian
Date
2015
Type
    Doctoral Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-010466795
Publication status
published
External links
Search print copy at ETH Library
Contributors
Examiner: Chechik, Marsha
Examiner: Meyer, Bertrand
Publisher
ETH-Zürich
Subject
VERIFIKATION (SOFTWARE ENGINEERING); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); VERIFICATION (SOFTWARE ENGINEERING); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS)
Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
03594 - Meyer, Bertrand (emeritus)  
Notes
Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 22463.
More
Show all metadata
ETH Bibliography
yes
Altmetrics