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
Full text via SFX
Contributors
Supervisor: Beckert, Bernhard
Supervisor: 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
Altmetrics