Home | english  | Impressum | Sitemap | KIT

Verification of Memory Performance Contracts with KeY

Verification of Memory Performance Contracts with KeY
Autor(en):

Christian Engel

Quelle:

Technischer Bericht, Universität Karlsruhe (TH), 2007

Determining the worst case memory consumption is an important issue for real-time Java applications. This work describes a methodology for formally verifying worst case memory performance constraints and proposes extensions to the Java Modeling Language (JML) facilitating better verifiability of JML performance specifications.