Verified resource guarantees using COSTA and KeY


Resource guarantees allow being certain that programs will run within the indicated amount of resources, which may refer to memory consumption, number of instructions executed, etc. This information can be very useful, especially in real-time and safety-critical applications. Nowadays, a number of automatic tools exist, often based on type systems or static… (More)
DOI: 10.1145/1929501.1929513

1 Figure or Table


  • Presentations referencing similar topics