Esterel Technologies SCADE Suite Timing Verifier™ and SCADE Suite Stack Verifier™, powered by AbsInt’s aiT and StackAnalyzer tools, provide worst case execution timing (WCET) and stack usage analysis ...