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.
Verification of Memory Performance Contracts with KeY
| Author(s): | |||
|---|---|---|---|
| Source: | Technical Report, University of Karlsruhe, 2007 |
||
