A formal definition of JML in Coq and its application to runtime assertion checking

Download
Abstract (PDF, 156.5Kb)
Fulltext (PDF, 1.612Mb)
Thumbnail
Open access
Author
Lehner, Hermann
Date
2011
Type
    Doctoral Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-006680049
Publication status
published
External links
Search print copy at ETH Library
Contributors
Examiner: Beckert, Bernhard
Examiner: Müller, Peter
Publisher
ETH
Subject
VERIFICATION (SOFTWARE ENGINEERING); SPEZIFIKATIONSSPRACHEN (SOFTWARE ENGINEERING); SPECIFICATION LANGUAGES (SOFTWARE ENGINEERING); RECHENZEIT + LAUFZEIT (COMPUTERSYSTEME); VERIFIKATION (SOFTWARE ENGINEERING); COMPUTING TIME + RUNNING TIME (COMPUTER SYSTEMS); JAVA (PROGRAMMING LANGUAGES); JAVA (PROGRAMMIERSPRACHEN)
Organisational unit
03653 - Müller, Peter / Müller, Peter  
02150 - Dep. Informatik / Dep. of Computer Science
More
Show all metadata
ETH Bibliography
yes
Altmetrics