Discontinuation notice: As of November 1st, 2014, aiSee is no longer available as a standalone product. It is now only offered as an integral part of our tools for static analysis of safety-critical applications: