Towards formally verifiable WCET analysis for a functional programming language

Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Towards formally verifiable WCET analysis for a functional programming language'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science

Social Sciences

Earth & Environmental Sciences