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

Download
Abstract (Adobe PDF, 156.5Kb)
Fulltext (Adobe 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 via SFX
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  
02150 - Departement Informatik / Department of Computer Science
More
Show all metadata
ETH Bibliography
yes
Altmetrics