Discontinuation notice: As of November 1st, 2014, aiSee is no longer available as a stand-alone product. It is now only offered as an integral part of our tools for static analysis of safety-critical applications: aiT for worst-case execution time analysis StackAnalyzer for stack usage analysis ValueAnalyzer for value analysis TimingProfiler for early-stage timing estimation TimeWeaver for hybrid