Samma företag kan svara på frågan hur lång tid - återigen i värsta fall - som ditt program tar på sig för att exekvera färdigt.
Worst-case Execution Time Analyzer backar inte ens för sofistikerade processorer med cache och pipelines - det ska kunna ta hänsyn även till de indeterminismer som dessa introducerar. Programmeraren får en övre gräns för exekveringstiden med, enligt AbsInt, minimala marginaler till den verkliga tiden.
Verktygen kan tillsammans användas för att bevisa att programvara uppfyller tids- och minneskrav.
Följande processortyper stöds: C16x, ST10, PowerPC, Arm, TMS320C3x, M68HC12, x86, H8, H8S, HCS12x och NECV850.