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 F. Pointon Norman Scaife Jocelyn Sérot Andy Wallace Towards Formally Verifiable WCET Analysis for a Functional Programming Language. 2006 conf/wcet/2006 WCET http://drops.dagstuhl.de/opus/volltexte/2006/677 db/conf/wcet/wcet2006.html#HammondFHDHJLMPSSW06